|
| Login | Sign up | My Wish List |
![]() | Predicate Calculus and Program Semantics (Monographs in Computer Science) by Edsger W. Dijkstra, Carel S. Scholten ISBN-10: 9780387969572 ISBN-10: 0-387-96957-8 ISBN-13: 9780387969572 ISBN-13: 978-0-387-96957-2 Hardcover 1989-12-18 Springer Find Lowest Price |