Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=180762796.

Computer aided verification [Texte imprimé] : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings / P. Madhusudan, Sanjit A. Seshia (eds.)

Date :

Editeur / Publisher : Berlin : Springer , cop. 2012

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 978-3-642-31423-0

Catalogue Worldcat

Logiciels -- Vérification -- Actes de congrès

Classification Dewey : 005.1/4

Madhusudan, P. (19..-..) (Editeur scientifique / editor)

Seshia, Sanjit A. (Editeur scientifique / editor)

Collection : Lecture notes in computer science / Berlin : Springer , 1973-