Deductive and Declarative Programming

Cambridge University Press, 2008. First Edition. Paperback. Like New. 6x0x9. A nearly new copy with no defects, just a few hardly noticeable rubs and bumps and a 'damaged' stamp to one of the preliminary pages. Despite such this book looks and feels unread with contents that are crisp, fresh and tight. Thus a very nice book in great… Read more about this item

Paperback / softback. New. The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.

paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.

Cambridge University Press, 1992. Hardcover. Good. Former library book. Signs of wear on the cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.

hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.