Author: LOECKX, JACQUES ; SIEBER, KURT Title: The Foundations of Program Verification. 2nd ed.
Description: 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.
Keywords:
Price: GBP 79.00 = appr. US$ 112.81 Seller: Plurabelle Books Ltd.
- Book number: PAQ40298
See more books from our catalog:
Computing