REQUEST AN IMAGE

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

The Spine of Software : Designing Provably Correct Software : Theory and Practice - Or, a...
Item #10345

Price: $35.00

Image Request