Delete |
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France, June 12-14, 1989 Proceedings (Lecture Notes in Computer Science 407) [Buy it!] | Sifakis, J. (ed.) | USD 8.76 (Fri Jun 7 19:48:38 2024) | AbebooksUK | PsychoBabel & Skoob Books | ISBN10: 3540521488, ISBN13: 9783540521488, [publisher: Springer-Verlag, Berlin] Softcover Lecture Notes in Computer Science 407; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and pen inscription on title page; library catalogue sticker on colophon. Small scuffs from sticker removal across the spine head. Sound, clean book with tight binding. ADG. [Didcot, Oxfordshire, OXON, United Kingdom] [Publication Year: 1990] |