Computer-Aided Verification
Subtitle: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science)
Contributors: R. P. Kurshan (Editor)
Publisher: Springer
Published: October 1991
Language: eng
Format: Paperback
Number of pages: 372
ISBN-13: 9780387544779
Subjects: Digital Computer Design; Computers; Technology & Industrial Arts; Computer Books: General; Science/Mathematics; Electronics - Circuits - General; Logic Design; Programming - Software Development; Computer-aided design; Congresses; Data processing; Design and construction; Digital integrated circuits; Integrated circuits; Verification