Normal view MARC view ISBD view

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

Auteur principal collectivité : Computer aided verification, International conference, 24, July 7-13,2012, AuteurAuteur secondaire : : Madhusudan, P., Editeur scientifique;Seshia, Sanjit A., Editeur scientifiquePublication : Berlin, Heidelberg : Springer, cop. 2012Description : 1 vol. (XVI-789 p.) : fig., graph., tabl. ; 24 cmISBN : 978-3-642-31423-0.Dewey: 005.1/4Classification : F.3 ; D.2 ; D.3Bibliographie: Notes bibliogr. Index.Sujet - Nom d'actualité : Logiciels -- Vérification Sujet : Modèl Checking ;Sécurité ;Transformation de programme ;Interprétation abstraite ;Langage JAVA ;Langage C ;Terminaison ;Logiciel
Current location Call number Status Notes Date due Barcode
Centre de recherche en informatique
BER 12 Sur demande BER 12 = Berkeley 2012 CRI06351D

Notes bibliogr. Index

Powered by Koha