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 428)

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 428)

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 428)

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

  • Used
  • Paperback
Condition
See description
ISBN 10
3540525130
ISBN 13
9783540525134
Seller
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Cleveland, Ohio, United States
Item Price
$5.20
Or just $4.68 with a
Bibliophiles Club Membership
$4.50 Shipping to USA
Standard delivery: 7 to 14 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Springer, 1990. 580 pp., Paperback, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

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
Zubal Books US (US)
Seller's Inventory #
ZB637417
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 428)
Author
Dines Bjorner, C.A.R. Hoare, Hans Langmaack
Book Condition
Used
Binding
Paperback
ISBN 10
3540525130
ISBN 13
9783540525134
Publisher
Springer
Date Published
1990
Keywords
COMPUTER SCIENCE

Terms of Sale

Zubal Books

All prices are NET. Returns accepted within 5 days of receiving book.

About the Seller

Zubal Books

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2005
Cleveland, Ohio

About Zubal Books

Zubal Books has been the leader in scholarly and rare books since 1961. We purchase individual books as well as entire libraries.

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.
tracking-