Author: SIFAKIS, J. (ED.)
Title: Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France, June 12-14, 1989 Proceedings (Lecture Notes in Computer Science 407)
Description: Berlin, Springer-Verlag. 1990. (ISBN: 9783540521488). Paperback. Ex-Library, 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. Very Good/No Dust Jacket.

Keywords: Computer Networks Computers Networking 9783540521488


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