The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a Mathematical Introduction to the Semantics of Computer Programs
Chichester, New York, Brisbane, Toronto, Singapore: John Wiley & Sons, Ltd 1987. First Edition. xi, 316 pages. 8vo. Publisher's green printed boards. Sun fading to the covers, bumped corners. Marked "baber" on the bottom page edges as Prof. Verzuh typically did in his library, and has a collection of book..... More