Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings (Lecture Notes in Computer Science) - Softcover

 
9783540677703: Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings (Lecture Notes in Computer Science)
Softcover
ISBN 10: 3540677704 ISBN 13: 9783540677703
Verlag: Springer, 2000

Inhaltsangabe

Proceedings of the 12th International Conference, CAV 2000, held in Chicago, IL, July 15-19, 2000. The conference was devoted to the advancement of the theory and practice for formal methods for hardware and software verification. Covers everything from theoretical foundations to the latest applications. Softcover.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2000
Sprache
Englisch
ISBN 10 
3540677704
ISBN 13 
9783540677703
Einband
Taschenbuch
Anzahl der Seiten
600
Herausgeber
Emerson E. Allen
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland