Searching the web for the best textbook prices just be a few seconds ...
0 %
Predicate Calculus and Program Semantics (Monographs in Computer Science) by Edsger W. Dijkstra, Carel S. Scholten Hardcover, 220 Pages, Published 1989, 1st Edition
List Price: $89.95 ISBN-10: 0-387-96957-8 (0387969578) ISBN-13: 978-0-387-96957-2 (9780387969572)