9780387573168 - formal methods in programming and their applications: international conference, academgorodok, novosibirsk, russia june 28-july 2, 1993 : proceedings (lecture notes in computer science, 735) de bjorner, dines; broy, manfred & pottosin, igor (2 resultados)

Paperback. Condición: Good. No Dust Jacket. Lecture Notes in Computer Science 735 .Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-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, cle…