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…
Amazon.de (Intern... |
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…
Amazon.de (Intern... Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
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…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
Amazon.de (Intern... Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
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…
Hugendubel.de Nr. 13634098. Versandkosten:, , DE. (EUR 0.00) Details... |
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…
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…
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…
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…
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…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781402047572 Handbook of Drug Abuse Prevention: Theory, Science and Practice (Handbooks of Sociology and Social Research) (Pallab Dasgupta)
< zum Archiv...