Image Not Available

Formal Development of Programs and Proofs.

Dijkstra, Edsger W.

Published by Addison Wesely. 1990.

Condition: Used Hardcover

Sold by Antiquariaat Ovidius, Bredevoort, Netherlands

AbeBooks Seller since July 5, 2012

Seller rating 4 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Gebraucht / Used

Price: US$ 42.95 Convert Currency

US$ 25.48 shipping from Netherlands to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

About this Item

Hardcover with dustwrapper. Very good. Xiv,242pp. Owner's blind book stamp on titlepage.

Seller Inventory # 89928

Report this item

Bibliographic Details

Title: Formal Development of Programs and Proofs.
Publisher: Addison Wesely. 1990.
Binding: Hardcover
Condition: Gebraucht / Used
Dust Jacket Condition: Dust Jacket Included

Store Description

Visit Seller's Storefront

Seller's business information

Antiquariaat Ovidius
Netherlands

Sale & Shipping Terms

Terms of Sale

Antiquariaat Ovidius

Lambertus G. van Genderen
Koppelstraat 5
NL-7126 AE Bredevoort
Niederlande
Telefon: +31 543 / 45 13 11

E-Mail: bert.van.genderen@hetnet.nl
Register. K.v.K. nr. 09074787
UID / VAT: NL161874848B01

Bankverbindung
Postbank Dortmund
Konto Nr. 323 145 468.
BLZ. 440 100 46
IBAN: DE28 4401 0046 0323 1454 68 BIC: PBNKDEFF
Empf�ngername Lambertus G. van Genderen

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're
dissatisfied with your purch...

More Information

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods

PayPal

Add to Wants