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

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

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2000
Langue
anglais
ISBN 10 
3540677704
ISBN 13 
9783540677703
Reliure
Broché
Nombre de pages
600
Éditeur
Emerson E. Allen
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne