- 5 Ergebnisse
Kleinster Preis: € 100,92, größter Preis: € 138,99, Mittelwert: € 118,55
1
A Roadmap for Formal Property Verification - Dasgupta, Pallab
Bestellen
bei Amazon.de (Intern. Bücher)
€ 106,58
Versand: € 0,001
Bestellengesponserter Link
Dasgupta, Pallab:

A Roadmap for Formal Property Verification - Taschenbuch

2010, ISBN: 9789048171859

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2006, 268 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.38 kg, CAD & CAM, Grafik & Multimedia, Co… Mehr…

Versandkosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
2
A Roadmap for Formal Property Verification - Dasgupta, Pallab
Bestellen
bei Amazon.de (Intern. Bücher)
€ 100,92
Versand: € 3,001
Bestellengesponserter Link

Dasgupta, Pallab:

A Roadmap for Formal Property Verification - Taschenbuch

2010, ISBN: 9789048171859

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2006, 268 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.38 kg, CAD & CAM, Grafik & Multimedia, Co… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
3
A Roadmap for Formal Property Verification - Dasgupta, Pallab
Bestellen
bei Achtung-Buecher.de
€ 111,22
Versand: € 0,001
Bestellengesponserter Link
Dasgupta, Pallab:
A Roadmap for Formal Property Verification - Taschenbuch

2010

ISBN: 9048171857

Gebundene Ausgabe

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

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
A Roadmap for Formal Property Verification - Dasgupta, Pallab
Bestellen
bei Amazon.de (Intern. Bücher)
€ 135,03
Versand: € 3,001
Bestellengesponserter Link
Dasgupta, Pallab:
A Roadmap for Formal Property Verification - Taschenbuch

2010, ISBN: 9789048171859

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2006, 268 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 1 kg, CAD & CAM, Grafik & Multimedia, Compu… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
5
A Roadmap for Formal Property Verification - Pallab Dasgupta
Bestellen
bei Hugendubel.de
€ 138,99
Versand: € 0,001
Bestellengesponserter Link
Pallab Dasgupta:
A Roadmap for Formal Property Verification - Taschenbuch

2006, ISBN: 9048171857

Gebundene Ausgabe

A Roadmap for Formal Property Verification ab 138.99 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2006. Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft, Springer Ne… Mehr…

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

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
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.

Detailangaben zum Buch - A Roadmap for Formal Property Verification


EAN (ISBN-13): 9789048171859
ISBN (ISBN-10): 9048171857
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer
268 Seiten
Gewicht: 0,432 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2011-05-03T14:12:21+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-11-04T11:42:48+01:00 (Zurich)
ISBN/EAN: 9789048171859

ISBN - alternative Schreibweisen:
90-481-7185-7, 978-90-481-7185-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: dasgupta
Titel des Buches: roadmap


Daten vom Verlag:

Autor/in: Pallab Dasgupta
Titel: A Roadmap for Formal Property Verification
Verlag: Springer; Springer Netherland
252 Seiten
Erscheinungsjahr: 2010-10-19
Dordrecht; NL
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XIV, 252 p.

BC; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; algorithms; environment; formal method; formal specification; formal verification; integrated circuit; metal-oxide-semiconductor transistor; simulation; single-electron transistor; technology; Electronic Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electronics and Microelectronics, Instrumentation; Logic Design; Electrical and Electronic Engineering; Formal Languages and Automata Theory; Computer-Aided Design (CAD); Elektronik; Rechnerarchitektur und Logik-Entwurf; Elektrotechnik; Theoretische Informatik; BB

Languages for Temporal Properties.- How Does the Property Checker Work?.- Is My Specification Consistent?.- Have I Written Enough Properties?.- Design Intent Coverage.- Test Generation Games.- A Roadmap for Formal Property Verification.
FPV methods - presented conceptually Architecting assertion suites with System Verilog Assertions Formal verification coverage Consistency issues in formal specifications Design Intent Coverage Intelligent test generation from formal specifications

< zum Archiv...