9780387544779 - computer-aided verification: 2nd international conference, cav '90 new brunswick, nj, usa, june 18-21, 1990 proceedings di clarke, e. m. & kurshan, r. p. (eds.) (1 risultati)
- Brossura
Da: PsychoBabel & Skoob Books, Didcot, Regno UnitoPsychoBabel & Skoob Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 8,07
EUR 14,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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 slight…ly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
