Normal view MARC view ISBD view

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (eds.)

Auteur principal collectivité : CAV'98, Conference, 10th, 1998, AuteurAuteur secondaire : : Hu, Alan J.;Vardi, Moshe Y.Publication :Berlin, London : Springer, c1998Description : ix, 552 p. : ill. ; 24 cmISBN : 3-540-64608-6.Collections : Lecture notes in computer science, 1427Dewey: 004.24, 21Classification : F.3 ; D.2.4 ; D.2.2 ; F.4.1 ; B.7.2 ; C.3 ; I.2.3Bibliographie: Includes bibliographies and index..Sujet - Nom d'actualité : Logiciels -- Évaluation -- Congrès ;Ingénierie assistée par ordinateur -- Congrès ;Ordinateurs -- Évaluation -- Congrès ;Circuits intégrés -- Évaluation -- Congrès ;Conception assistée par ordinateur -- Congrès Sujet : TEMPS REEL ;LANGAGE LUSTRE ;LANGAGE ESTEREL ;EXCLUSION MUTUELLE ;BINARY DECISION DIAGRAM ;AUTOMATE ;Preuve ;Preuve automatique
Current location Call number Status Date due Barcode
Centre de recherche en informatique
VAN 98 Available CRI03892D

Includes bibliographies and index.

Powered by Koha