- 0 resultaten
laagste prijs: € 103,99, hoogste prijs: € 142,12, gemiddelde prijs: € 129,54
1
A Roadmap for Formal Property Verification - Dasgupta, Pallab
bestellen
bij booklooker.de
€ 103,99
verzending: € 0,00
bestellen
Dasgupta, Pallab:

A Roadmap for Formal Property Verification - pocketboek

2010, ISBN: 9789048171859

[ED: Softcover], [PU: Springer Netherlands], Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the an… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
2
A Roadmap for Formal Property Verification - Dasgupta, Pallab
bestellen
bij amazon.co.uk
£ 109,99
(ongeveer € 123,49)
verzending: € 4,94
bestellen

Dasgupta, Pallab:

A Roadmap for Formal Property Verification - pocketboek

2010, ISBN: 9789048171859

Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 2006, 268 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Book, 0.43 kg, Architecture & Microprocessors, Comp… Meer...

Verzendingskosten:In stock. Lieferung von Amazon. (EUR 4.94) Amazon.co.uk
3
A Roadmap for Formal Property Verification - Dasgupta, Pallab
bestellen
bij Achtung-Buecher.de
€ 139,09
verzending: € 0,00
bestellen
Dasgupta, Pallab:
A Roadmap for Formal Property Verification - pocketboek

2010

ISBN: 9048171857

gebonden uitgave

Softcover reprint of hardcover 1st ed. 2006 Kartoniert / Broschiert Elektrotechnik, Elektronik, Computer-Aided Design (CAD), Theoretische Informatik, Rechnerarchitektur und Logik-Entwur… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Betaalde advertentie
4
A Roadmap for Formal Property Verification - Pallab Dasgupta
bestellen
bij BookDepository.com
€ 142,12
verzending: € 0,00
bestellen
Pallab Dasgupta:
A Roadmap for Formal Property Verification - pocketboek

ISBN: 9789048171859

Paperback, [PU: Springer], Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these que… Meer...

Verzendingskosten:Versandkostenfrei. (EUR 0.00)
5
A Roadmap for Formal Property Verification
bestellen
bij eBook.de
€ 138,99
verzending: € 0,00
bestellen
A Roadmap for Formal Property Verification - pocketboek

2006, ISBN: 9048171857

gebonden uitgave

A Roadmap for Formal Property Verification ab 138.99 EURO Softcover reprint of hardcover 1st ed. 2006 Medien > Bücher

Nr. 13634098. Verzendingskosten:, , DE. (EUR 0.00)

Bijzonderheden over het boek
A Roadmap for Formal Property Verification

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.

Gedetalleerde informatie over het boek. - A Roadmap for Formal Property Verification


EAN (ISBN-13): 9789048171859
ISBN (ISBN-10): 9048171857
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
268 Bladzijden
Gewicht: 0,432 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-05-03T14:12:21+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2020-06-12T10:11:05+02:00 (Amsterdam)
ISBN/EAN: 9789048171859

ISBN - alternatieve schrijfwijzen:
90-481-7185-7, 978-90-481-7185-9


< naar Archief...