The Correctness By Construction Approach To Programming

by Derrick Kourie Bruce W Watson

$75 · Offered by Second Story Books

Berlin: Springer, 2012. Octavo, xiii, 264 pages. In Very Good minus condition. Spine is blue with white print, orange banner. Boards in glossy blue paper, white print; slight shelf wear. Illustrated: b&w diagrams. NOTE: Shelved in Netdesk Column K ND-K .

Found via Rare Books Intel, a search across rare-book dealers, auction houses and marketplaces worldwide.