Back, R.J.R. - Correctness preserving program refinements: Proof theory and applicationsMathematisch Centrum 1980 sewed, 118 pp. Mathematical Centre Tracts nr 131 ISBN (9061962072) (code Sc-51)
EUR 12.00 | CHF 12] N°. du livre 232958
vous est proposé par:
Moby Dick
Schoolstraat 31, 2202 HD Noordwijk, The Netherlands
Tel.: +31(0)71 361 94 98
Email: mobydick@xs4all.nl | |
Conditions de vente applicable:
Terms of Sale
The books are sold as complete and in good condition,unless otherwise described.All extra costs of tax in the buyer's country are the responsability of the buyer.
In the way of VAT:there is a special arrangement for antiquarian booksellers: "Margeregeling". So we can't give an invoice with VAT.
The costs of carriage is an extra charge.
Verkoopvoorwaarden
Alle boeken worden verkocht als zijnde in goede staat en compleet:tenzij anders vermeld.
Wat betreft BTW:hiervoor geldt de "Margeregeling".Het BTW-bedrag zit in de prijs maar kan niet apart op de nota worden vermeld.
Prijzen zijn exclusief verzendkosten.
|
|
Commander ce livre
Demandez de l'information
Retour àux résultats de votre recherche
|
English
Deutsch
Nederlands