Computer Aided Verification
Subtitle: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings (Lecture Notes in Computer Science)
Contributors: Gregor von Bochmann (Editor); David K. Probst (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 7, 1993
Language: eng
Format: Paperback
Number of pages: 422
ISBN-13: 9783540564966
Subjects: Computer Programming; Operating systems & graphical user interfaces (GUIs); Logic; Logic Design; Programming - Software Development; Automatic Verification; Automatische Verifikation; Beweisprüfung; Computer-Aided Design (CAD); Computers / Logic Design; Computers : Programming - Software Development; Concurrent Systems; Mathematics : Logic; Model Checking; Modellprüfung; Nebenläufige Systeme; Proof Checking; Mathematics