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, Proceedings (Lecture Notes in Computer Science)

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)

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, Proceedings (Lecture Notes in Computer Science)

by Bjorner, Dines [Editor]; Hoare, C.A.R. [Editor]; Langmaack, Hans [Editor];

  • 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.
Spring Branch, Texas, United States
Item Price
NZ$8.18
Or just NZ$7.36 with a
Bibliophiles Club Membership
NZ$10.08 Shipping to USA
Standard delivery: 6 to 10 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Springer, 1990-05-04. Paperback. Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

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

Seller
GuthrieBooks US (US)
Seller's Inventory #
UTD1423645
Title
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)
Author
Bjorner, Dines [Editor]; Hoare, C.A.R. [Editor]; Langmaack, Hans [Editor];
Format/Binding
Paperback
Book Condition
Used - Good
Quantity Available
1
ISBN 10
3540525130
ISBN 13
9783540525134
Publisher
Springer
Date Published
1990-05-04
X weight
30 oz

Terms of Sale

GuthrieBooks

Credit cards accepted through Biblio.com. Returns accepted and promptly refunded if dissatisfied in any way.

About the Seller

GuthrieBooks

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2007
Spring Branch, Texas

About GuthrieBooks

Selling books since 1975.. We specialize in academic monographs and technical works but we have books in every area of interest.

Glossary

Some terminology that may be used in this description includes:

Tight
Used to mean that the binding of a book has not been overly loosened by frequent use.
Text Block
Most simply the inside pages of a book. More precisely, the block of paper formed by the cut and stacked pages of a book....
tracking-