Author: BJORNER, DINES; BROY, MANFRED & POTTOSIN, IGOR
Title: Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)
Description: Berlin, Springer-Verlag. 1993. (ISBN: 9780387573168). Paperback. Ex-Library, 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, clean book with tight binding. ADG. Good/No Dust Jacket.

Keywords: 9780387573168


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