Computer Aided Verification
Subtitle: 5th International Conference, Cav '93 Eloybdam Greece, June 28-July 1, 1993 Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: September 1993
Language: eng
Format: Paperback
Number of pages: 513
ISBN-13: 9780387569222
Subjects: Software Quality Control; Computers; Mathematics; Computer Books: General; Logic; Logic Design; Programming - Software Development; Computer software; Congresses; Verification