Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /

Saved in:
Bibliographic Details
Corporate Author: CAV (Conference) Haifa, Israel)
Other Authors: Grumberg, Orna
Format: Conference Proceeding Book
Language:French
Published: Berlin ; New York ; Heidelberg : Springer, ©1997.
Series:Lecture notes in computer science ; 1254.
Subjects:
Computer software > Verification > Congresses.
Integrated circuits > Verification > Congresses.
Electronic digital computers > Evaluation > Congresses.
vérification matériel.
testabilité
déduction automatique.
méthode vérification.
vérification automatique.
Circuits intégrés > Vérification > Congrès.
Logiciels > Vérification > Congrès.
Computer software > Verification.
Electronic digital computers > Evaluation.
Integrated circuits > Verification.
Verificatie.
Software.
Ingénierie assistée par ordinateur > Congrès.
Conception assistée par ordinateur > Congrès.
système informatique > vérification > congrès.
Vérification de logiciels.
Vérification formelle.
Conference papers and proceedings.
Description
Physical Description:xi, 486 pages : illustrations ; 24 cm.
Also issued online.
Bibliography:Includes bibliographical references and index.
ISBN:3540631666
9783540631668
ISSN:0302-9743 ;

Similar Items