Author: DERSHOWITZ, NACHUM & LINDENSTRAUSS, NAOMI
Title: Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (Lecture Notes in Computer Science 968)
Description: Berlin, Germany, Springer International. 1995. (ISBN: 9783540603818). Paperback. Used, Lecture Notes in Computer Science 968; Previous owner's sticker on the 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. Very Good/No Dust Jacket.

Keywords: Computers Programming 9783540603818


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