Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18 21, 1990 : proceedings

This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, de...

Descrizione completa

Dettagli Bibliografici

Ente Autore:	International conference on computer-aided verification :New Brunswick, N.J.
Altri autori:	Clarke, Edmund M., 1945-2020 (Direttore editoriale), Kurshan, Robert, 1943- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 531
Soggetti:	Génie logiciel Conception assistée par ordinateur Informatique Protocoles de réseaux d'ordinateurs Réseaux d'ordinateurs Logique symbolique et mathématique Circuits intégrés numériques > Conception technique -- Informatique Actes de congrès
Accesso online:	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, proceedings, 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Berlin, Springer-Verlag, 1991, 1 vol. (XIII-372 p)., Lecture notes in computer science, 3-540-54477-1 • Computer-Aided Verification, Texte imprimé, 9783662202661