Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference. The volume presents 32 revised full research contributions selected...

Popoln opis

Bibliografske podrobnosti

Korporativna značnica:	International conference on computer-aided verification :New Brunswick, N.J.
Drugi avtorji:	Alur, Rajeev, 1966- (Directeur de la publication), Henzinger, Thomas A., 1962- (Directeur de la publication)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 1102
Teme:	Génie logiciel Informatique Logiciels > Vérification Intelligence artificielle Évaluation Logique symbolique et mathématique Ordinateurs Logiciels > Essais Actes de congrès
Online dostop:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Sporočilo:	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, 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996, proceedings, Rajeev Alur, Thomas A. Henzinger, eds, 1996, Berlin, Springer, 1 vol. (XII-472 p.), Lecture notes in computer science, 3-540-61474-5 • Computer Aided Verification, Texte imprimé, 9783662206850