9780387544779 - computer-aided verification: 2nd international conference, cav '90 new brunswick, nj, usa, june 18-21, 1990 proceedings (lecture notes in computer science) de clarke, e. m. & kurshan, r. p. (eds.) (1 resultados)

Paperback. Condición: 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 slightl…