Descripción: Computer aided verification :

Guardado en:

Detalles Bibliográficos
Autor Corporativo:	International conference on computer-aided verification :Boulder, Colo.
Otros Autores:	Somenzi, Fabio (Director de publicación), Hunt, Warren A. Jr., 1958- (Director de publicación)
Formato:	Livre numérique
Lenguaje:	Anglais
Publicado:	Berlin [etc.] : Springer 201X. Berlin [etc.] :
Colección:	Lecture notes in computer science 2725
Materias:	Génie logiciel Informatique Logiciels > Vérification Circuits intégrés Intelligence artificielle Logique symbolique et mathématique Essais Structure logique Actes de congrès
Acceso en línea:	Accès sur la plateforme de l'éditeur 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, 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, proceedings, Warren A. Hunt, Jr., Fabio Somenzi (eds.), Berlin, Springer, 2003, 1 vol. (XII-462 p.), Lecture notes in computer science, 3-540-40524-0 • Computer Aided Verification, Texte imprimé, 9783662186855

Descripción
Notas:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540450696 (PDF)
ISSN:	1611-3349
Acceso:	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