Predicate Calculus and Program Semantics (Monographs in Computer Science) Dijkst

Predicate Calculus and Program Semantics - 9781461279242

Predicate Calculus and Program Semantics by Edsger W Dijkstra: Used

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Rendezvous with ADA 95 - VERY GOOD

Mathematical Logic and Programming - Hardcover, by Hoare C. A.

Monographs in Computer Science Ser.: Super-Recursive Algorithms by Mark...

Programming with Sets: An Introduction to SETL (Monographs in Computer Science)