Description:
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.
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 Editor-Dines Bjorner; Editor-C.A.R. Hoare; Editor-Hans Langmaack - 1990-05-04
by Editor-Dines Bjorner; Editor-C.A.R. Hoare; Editor-Hans Langmaack
Similar copies are shown below.
Similar copies are shown to the right.
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 Editor-Dines Bjorner; Editor-C.A.R. Hoare; Editor-Hans Langmaack
- Used
- good
- Paperback
Springer, 1990-05-04. Paperback. Good.
-
Bookseller
Ergodebooks
(US)
- Format/Binding Paperback
- Book Condition Used - Good
- Quantity Available 1
- Binding Paperback
- ISBN 10 3540525130
- ISBN 13 9783540525134
- Publisher Springer
- Date Published 1990-05-04
We have 7 copies available starting at A$10.64.
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
- Used
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Quantity Available
- 1
- Seller
-
Cleveland, Ohio, United States
- Item Price
-
A$10.64A$4.50 shipping to
Show Details
Item Price
A$10.64
A$4.50
shipping to
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
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
A$7.39A$5.99 shipping to
Show Details
Description:
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.
Item Price
A$7.39
A$5.99
shipping to
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
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
A$7.60A$12.00 shipping to
Show Details
Description:
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.
Item Price
A$7.60
A$12.00
shipping to
VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
by Dines Bjørner
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Quantity Available
- 133
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
A$102.23A$7.99 shipping to
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings.
Item Price
A$102.23
A$7.99
shipping to
Stock Photo: Cover May Be Different
VDM '90. VDM and Z - Formal Methods in Software Development
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Quantity Available
- 4
- Seller
-
Woodside, New York, United States
- Item Price
-
A$118.89A$3.99 shipping to
Show Details
Description:
Springer , pp. 604 . Papeback. New.
Item Price
A$118.89
A$3.99
shipping to
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
by Dines Bjorner
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
A$115.91A$9.95 shipping to
Show Details
Description:
Paperback / softback. New. The present volume is the third in a series of VDM Symposia Proceedings. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.
Item Price
A$115.91
A$9.95
shipping to
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 Bjørner, Dines [Editor]; Hoare, C.A.R. [Editor]; Langmaack, Hans [Editor];
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
A$275.17A$15.00 shipping to
Show Details
Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
A$275.17
A$15.00
shipping to