Normal view MARC view ISBD view

Computer aided verification [Texte imprimé] : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings / Aarti Gupta, Sharad Malik (Eds.)

Auteur principal collectivité : CAV, Conference, 20th, 2008, AuteurAuteur secondaire : : Gupta, Aarti, Editeur scientifique;Malik, Sharad, Editeur scientifiquePublication : Berlin, New York : Springer, cop. 2008Description : 1 vol. (XVII-558 p.) : ill. ; 24 cmISBN : 978-3-540-70543-7 ; 3-540-70543-0.Collections : Lecture notes in computer science, 5123Classification : F.3 ; D.2.4 ; D.2.2 ; F.4.1 ; I.2.3 ; B.7.2 ; C.3Bibliographie: Notes bibliogr. Index.Sujet - Nom d'actualité : Logiciels -- Vérification ;Circuits intégrés -- Essais -- Congrès Sujet : NORME RPI ;Interprétation abstraite ;Logiciel ;Preuve ;Parallélisme ;Modèl Checking ;Système hybride
Current location Call number Status Date due Barcode
Centre de recherche en informatique
PRI 08 Sur demande CRI06189D

Notes bibliogr. Index

Powered by Koha