Produktbild
E. Allen (Hrsg.) Emerson

Computer Aided Verification

12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

Buch

This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancement of the theory and practice of formal methods for hardware and software veri?cation. The con- rence covers the spectrum from theoretical foundations to concrete applications, with an emphasis on veri?cation algorithms, methods, and tools together with techniques for their implementation. The conference has traditionally drawn contributions from both researchers and practitioners in academia and industry. This year 91 regular r… Mehr

CHF 144.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Sistla, A. Prasad (Hrsg.)
  • ISBN: 978-3-540-67770-3
  • EAN: 9783540677703
  • Produktnummer: 3469752
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2000
  • Seitenangabe: 600 S.
  • Masse: H23.5 cm x B15.5 cm x D3.2 cm 896 g
  • Auflage: 2000
  • Abbildungen: Paperback
  • Gewicht: 896

3 weitere Werke von E. Allen (Hrsg.) Emerson:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.