Formal Methods in Computer-Aided Design
Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the analysis of computer hardware and so- ware. The work reported in this book describes the use of modeling languages and their associated automated analysis tools to specify and verify computing systems. Functional veric ation has become one of the principal costs in a modern computer design e ort. In addition,verica tion of circuit models, timing,power, etc., requires even more eo rt. FMCAD provides a venue for academic and - dustrial researchers and pra…
Mehr
CHF 150.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Johnson, Steven D. (Hrsg.)
- ISBN: 978-3-540-41219-9
- EAN: 9783540412199
- Produktnummer: 3486777
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2000
- Seitenangabe: 564 S.
- Masse: H23.5 cm x B15.5 cm x D3.0 cm 844 g
- Auflage: 2000
- Abbildungen: Paperback
- Gewicht: 844
1 weiteres Werk von Warren A. Jr. (Hrsg.) Hunt:
Bewertungen
Anmelden