Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness : Proceedings (Lecture Notes in Computer Science) - Tapa blanda

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989 Proceedings (Lecture Notes in Computer Science 430)

Paperback. Condición: Good. Estado de la sobrecubierta: 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. Nº de ref. del artículo: 094493

Contactar al vendedor