Author: BARRINGER, H.; BANIEQBAL, H. & PNUELI, A. (EDS.)
Title: Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987 Proceedings (Lecture Notes in Computer Science 398)
Description: Berlin, Springer-Verlag. 1989. (ISBN: 9780387518039). Paperback. Ex-Library, Lecture Notes in Computer Science 398; Ex-Library. Spine head slightly scuffed and bumped. Ex-Library. Ink stamp and previous owner's sticker on the front cover. Small pen inscription on title page; library catalogue sticker on reverse of front cover; minute traces of sticker residue and faint bumps across the spine head. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Very Good/No Dust Jacket.

Keywords: Logic Symbolic Mathematical Systems Engineering 9780387518039


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