Ask a question or
Order this book


Browse our books
Search our books
Book dealer info



Title: Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science 531)
Description: Berlin, Springer-Verlag. 1991. (ISBN: 9780387544779). Paperback. Ex-Library, Lecture Notes in Computer Science 531; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Small pen inscription on title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Very Good/No Dust Jacket.

Keywords: Digital Integrated Circuits Computer Aided 9780387544779

Price: GBP 6.71 = appr. US$ 9.58 Seller: PsychoBabel Books
- Book number: 094601

See more books from our catalog: Computers & Technology (Incl. Ai)