Beschreibung: Computer aided verification :

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International conference on computer-aided verification :Paris
Weitere Verfasser:	Finkel, Alain, 1958- (Verlagsleitung), Berry, Gérard, 1948-...., informaticien (Verlagsleitung), Comon-Lundh, Hubert, 1957-...., auteur en informatique (Verlagsleitung)
Format:	Livre numérique
Sprache:	Anglais
Veröffentlicht:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Schriftenreihe:	Lecture notes in computer science 2102
Schlagworte:	Informatique Logiciels > Vérification Circuits intégrés Intelligence artificielle Logique symbolique et mathématique Essais Logiciels > Essais Structure logique Actes de congrès
Online Zugang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmerkung:	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, 13th International conference, CAV 2001, Paris, France, July 18-22, 2001, proceedings, Gérard Berry, Hubert Comon, Alain Finkel (eds.), 2001, Berlin, Springer, 1 vol. (XIII-520 p.), Lecture notes in computer science, 3-540-42345-1 • Computer Aided Verification, Texte imprimé, 9783662178379

Beschreibung
Beschreibung:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540445852 (PDF)
ISSN:	1611-3349
Zugangseinschränkungen:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017