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.

Minnesota State University, Mankato

Holdings details from Minnesota State University, Mankato
Call Number: QA76.76.V47 C38 1997

Similar Items