Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: June 1994
Language: eng
Format: Paperback
Number of pages: 480
ISBN-13: 9780387581798
Subjects: Computer Architecture - General; Logic Design; Software Quality Control; Computer Bks - General Information; Computer software; Congresses; Electronic digital computers; Evaluation; Verification; Science/Mathematics