Isbn: 9780387544779 - Computer-aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings (lecture Notes in Computer Science) (1 results)

ISBN:

Refine with Advanced Search

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science 531)
Clarke, E. M. & Kurshan, R. P. (eds.)
Language: English
Published by Springer-Verlag, Berlin, 1991
0387544771 / 9780387544779
- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
5-star seller
Contact seller
Condition: Used - Very good
US$ 9.16
US$ 16.57 shipping
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Paperback. Condition: Very Good. No Dust Jacket. 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. Ex-Library.…