LOECKX, JACQUES ; SIEBER, KURT
The Foundations of Program Verification. 2nd ed.
New York: Wiley 1987. (Wiley-Teubner Series in Computer Science). ix 230p glossy hb, bibliogr, index, some page edges sl damp-stained, corners of cover sl bumped, unused copy.

Plurabelle Books Ltd.
Professional sellerBook number: PAQ40298
GBP 79.00 [Appr.: EURO 92.75 US$ 108.3 | JP¥ 15664]