Computer aided verification : ; proceedings 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000

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?cat...

Description complète

Détails bibliographiques

Collectivité auteur:	International conference on computer-aided verification :Chicago, Ill.
Autres auteurs:	Sistla, Aravinda Prasad (Directeur de la publication), Emerson, E. Allen, 1954-2024 (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 1855
Sujets:	Génie logiciel Informatique Logiciels > Vérification Circuits intégrés Intelligence artificielle Logique symbolique et mathématique Essais Logiciels > Essais Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Computer aided verification, 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, E. Allen Emerson, A. Prasad Sistla (eds.), 2000, Berlin, Springer, 1 vol. (X-582 p.), Lecture notes in computer science, 3-540-67770-4 • Computer Aided Verification, Texte imprimé, 9783662186701