Normal view MARC view ISBD view

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000proceedings [ [Texte imprimé]] ; E. Allen Emerson, A. Prasad Sistla (eds.)

Auteur principal collectivité : CAV 2000, Conference, 2000, Editeur scientifique, CAV 2000Auteur secondaire : : Emerson, E. Allen, Editeur scientifique;Sistla, A. Prasad, Editeur scientifiquePublication : Berlin, London : Springer, c2000Description : 1 vol. (X, 582 p.) : ill. ; 24 cmISBN : 3-540-67770-4.Dewey: 004.24Bibliographie: Notes bibliogr. à la fin de chaque article ; Author index p. 581-582.Sujet - Nom d'actualité : Logiciels -- Essais -- Congrès ;Circuits intégrés -- Essais -- Congrès Sujet : Logiciel ;Automate ;Protocole ;Logique temporelle ;Preuve ;Langage JAVA ;Système hybride
Current location Call number Status Date due Barcode
Centre de recherche en informatique
CHI 00 Sur demande CRI06182D

Notes bibliogr. à la fin de chaque article ; Author index p. 581-582

Powered by Koha