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 Dines Bjørner (Editor), C.A.R. Hoare (Editor), Hans Langmaack (Editor)
- Used
- Paperback
- Condition
- Used:Good
- ISBN 10
- 3540525130
- ISBN 13
- 9783540525134
- Seller
-
HOUSTON, Texas, United States
Payment Methods Accepted
About This Item
Springer, 1990-05-04. 1990. Paperback. Used:Good.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- Ergodebooks (US)
- Bookseller's Inventory #
- DADAX3540525130
- 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
- Dines Bjørner (Editor), C.A.R. Hoare (Editor), Hans Langmaack (Editor)
- Format/Binding
- Paperback
- Book Condition
- Used:Good
- Quantity Available
- 1
- Edition
- 1990
- ISBN 10
- 3540525130
- ISBN 13
- 9783540525134
- Publisher
- Springer
- Date Published
- 1990-05-04
Terms of Sale
Ergodebooks
We have 30 day return policy.
About the Seller
Ergodebooks
Biblio member since 2005
HOUSTON, Texas
About Ergodebooks
Our goal is to provide best customer service and good condition books for the lowest possible price. We are always honest about condition of book. We list book only by ISBN # and hence exact book is guaranteed.