Computer Aided Verification
Subtitle: 8th International Conference, Cav '96, New Brunswick, Nj, USA July 31-August 3, 1996 (Lecture Notes in Computer Science)
Contributors: Rajeev Alur (Editor); T. A. Henzinger (Editor)
Publisher: Springer
Published: October 1996
Language: eng
Format: Paperback
Number of pages: 342
ISBN-13: 9783540614746
Subjects: Software Quality Control; Computers; Computers - General Information; Computer Books: Languages; Logic Design; Programming - Software Development