Author: DE BAKKER, J. W.; DE ROEVER, W.P.; ROSENBERG, G. (EDS.)
Title: 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)
Description: Berlin, Springer-Verlag. 1990. (ISBN: 9780387525594). Paperback. Ex-Library, 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. Good/No Dust Jacket.

Keywords: Electronic Data Processing Distributed Computers 9780387525594


See more books from our catalog: Computers & Technology (Incl. Ai)