Skip to content

Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proc

Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proc

Vdm '90. Vdm and Z - Formal Methods in Software Development: Third
Stock Photo: Cover May Be Different

Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proc

by Dines Bjorner, C. A. R. Hoare et Hans Langmaack

  • Used
  • good
  • Paperback
Condition
Good
ISBN 10
3540525130
ISBN 13
9783540525134
Seller
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Morangis, France
Item Price
NZ$8.41
Or just NZ$7.57 with a
Bibliophiles Club Membership
NZ$20.19 Shipping to USA
Standard delivery: 14 to 28 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990. Paperback. Good. Former library book. Slight signs of wear on the cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations.

Reviews

(Log in or Create an Account first!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Bookseller
AMMAREAL FR (FR)
Bookseller's Inventory #
D-570-454
Title
Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proc
Author
Dines Bjorner, C. A. R. Hoare et Hans Langmaack
Format/Binding
Paperback
Book Condition
Used - Good
Quantity Available
1
ISBN 10
3540525130
ISBN 13
9783540525134
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date Published
1990

Terms of Sale

AMMAREAL

30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

About the Seller

AMMAREAL

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2020
Morangis

About AMMAREAL

Ammareal is a professional bookseller specialized in used books. We ship worldwide. We have more than 1 million books in stock, including a large number of technical and university-level books. We give back up to 15% of the price of each book to charities, libraries and organizations fighting in favor of literacy. What we do not sell, we give ; what we do not give, we recycle.
tracking-