Produktbild
Warren A. Jr. (Hrsg.) Hunt

Formal Methods in Computer-Aided Design

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Buch

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)

Versandfertig innerhalb 1-3 Werktagen

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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.