Normal view MARC view ISBD view

Computer aided verification [ [Texte imprimé]] : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004proceedings ; Rajeev Alur, Doron A. Peled (eds.)

Auteur principal collectivité : CAV 2004, 16, 2004, Editeur scientifiqueAuteur secondaire : : Alur, Rajeev, Editeur scientifique;Peled, Doron A., 1962-..., Editeur scientifiquePublication : Berlin, New York : Springer, cop. 2004Description : 1 vol. (XII-536 p.) : Ill. ; 24 cmISBN : 3-540-22342-8.Bibliographie: Notes bibliogr. à la fin de chaque article ; Author index p. 535-536.Sujet - Nom d'actualité : Logiciels -- Vérification -- Congrès ;Circuits intégrés -- Essais -- Congrès Sujet : Logiciel ;Preuve ;Terminaison ;Langage JAVA ;Modèl Checking
Current location Call number Status Date due Barcode
Centre de recherche en informatique
BOS 04 Sur demande CRI06185D

Notes bibliogr. à la fin de chaque article ; Author index p. 535-536

Powered by Koha