Formal Methods in Computer-Aided Design Steven D. Johnson
106,99 €
Titel: Formal Methods in Computer-Aided Design, Untertitel: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings, Einband: Taschenbuch, Autor: Steven D. Johnson, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 564, Maße: 235x155x31 mm, Gewicht: 844 g, Verkäufer: buch-mimpf, Schlagworte: CAD - Computer Aided Design Automat Formal Specification Model Semantics Simulation complexity computer-aided design (CAD) formal method formal verification model checking modeling proving theorem proving verification.
Jetzt bei Ebay:
