Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings

This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the c...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	International conference on computer-aided verification :Elounda
Altres autors:	Courcoubetis, Costas, 19..- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 697
Matèries:	Génie logiciel Informatique Logique symbolique et mathématique Logiciels > Essais Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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, 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993, proceedings, Costas Courcoubetis (ed.), Berlin, Springer-Verlag, 1993, 1 vol. (IX-504 p.), Lecture notes in computer science, 3-540-56922-7 • Computer Aided Verification, Texte imprimé, 9783662178737