Normal view MARC view ISBD view

Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999proceedings / Nicolas Halbwachs, Doron Peled (Eds.)

Auteur principal collectivité : CAV'99, Conference, 11th, 1999, AuteurAuteur secondaire : : Halbwachs, Nicolas;Peled, Doron, 1962-Publication : Berlin, London : Springer, c1999Description : xii, 506 p. : ill. ; 24 cmISBN : 3-540-66202-2.Collections : Lecture notes in computer science, 1633Dewey: 004.24, 21Classification : F.3 ; D.2.2 ; D.2.2 ; F.4.1 ; B.7.2 ; C.3 ; I.2.3Bibliographie: Includes bibliographies and index..Sujet - Nom d'actualité : Logiciels -- Essais -- Congrès ;Circuits intégrés -- Essais -- Congrès Sujet : LOGIQUE TEMPORELLE ;AUTOMATE ;Preuve automatique
Current location Call number Status Date due Barcode
Centre de recherche en informatique
TRE 99 Available CRI04134D

Includes bibliographies and index.

Powered by Koha