Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27 31, 2002 : proceedings

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for...

Description complète

Détails bibliographiques

Collectivité auteur:	International conference on computer-aided verification :Copenhague
Autres auteurs:	Brinksma, Ed (Directeur de la publication), Larsen, Kim Guldstrand, 1957- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 2404
Sujets:	Génie logiciel Informatique Logiciels > Vérification Circuits intégrés Intelligence artificielle Logique symbolique et mathématique 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, 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002, proceedings, Ed Brinksma, Kim Guldstrand Larsen (eds.), Berlin, Springer, 2002, 1 vol. (XIII-626 p.), Lecture notes in computer science, 3-540-43997-8 • Computer Aided Verification, Texte imprimé, 9783662188866