Isbn: 9780387525594 - stepwise refinement of distributed systems: models, formalisms, correctness : proceedings (lecture notes in computer science) (1 Ergebnisse)

Paperback. Zustand: Good. No Dust Jacket. Lecture Notes in Computer Science 430; Ex-Library. Fractional bump to front spine side. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Minute traces of sticker residue to spine face. Faintly bumped spine head and leading corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.…