Author: KUNG-KIU, LAU (ED.)
Title: Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Description: Berlin, Springer-Verlag. 2001. (ISBN: 9783540421276). Paperback. Used, Paperback. Lecture Notes in Computer Science, No. 2042. Barely noticeable shelfwear on covers. Edges and spine ends are very lightly worn. Contents in excellent condition. BW. Very Good.

Keywords: 9783540421276


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