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 93 US$ 100.5 | JP¥ 15762]