Computer-Aided Verification
Subtitle: 2nd Internatonal Conference, Cav '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science)
Contributors: Edmund M. Clarke (Editor); Robert P. Kurshan (Editor); E. M. Clarke (Other Contributor)
Publisher: Springer
Published: October 1991
Language: eng
Format: Paperback
Number of pages: 372
ISBN-13: 9783540544777
Subjects: Applications of Computing; Mathematical logic; Logic Design; Technology & Industrial Arts; Electronics - Circuits - General; Networking - General; Design and construction