Normal view MARC view ISBD view

Computer aided verification [ [Texte imprimé]] : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings ; Kousha Etessami, Sriram Rajamani (Eds.)

Auteur principal collectivité : CAV (Conference), 17, 2005, Editeur scientifiqueAuteur secondaire : : Etessami, Kousha, Editeur scientifique;Rajamani, Sriram K., 1970-, Editeur scientifiquePublication : Berlin, New York, NY : Springer, 2005Description : 1 vol. (XV-564 p.) ; 24 cmISBN : 3-540-27231-3.Bibliographie: Notes bibliogr. à la fin de chaque article ; Author index p. 563-564.Sujet - Nom d'actualité : Circuits intégrés -- Essais -- Congrès ;Logiciels -- Vérification -- Congrès Sujet : Logiciel ;Protocole ;FLOTTANT ;Automate ;Preuve ;Langage JAVA ;Modèl Checking
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EDI 05 Sur demande CRI06186D

Notes bibliogr. à la fin de chaque article ; Author index p. 563-564

Powered by Koha