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.

See/Hide Conditions of Sale

Following conditions of sale apply:
Terms of Sale

We take Credit Cards (Visa, MasterCard), but no debit cards. If you plan to send a check from overseas, please make sure that it is drawn on a London Bank. Checks should be made out to Plurabelle Books. We can also accept payment in Euros, and US $. Please advise if you want to pay in these currencies, as we will have to convert
the amount (and we tend to be a wee bit generous when converting into Dollars). For all bank transfers request invoice number first!

6901 1962 (Plurabelle Books)
Bank Sorting Code 08-92-99.

170001-608 (Michael Cahn begin_of_the_skype_highlighting     end_of_the_skype_highlighting)
Postbank Frankfurt,
BLZ 500 100 60.