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.
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) Paperback - 1990 - 1990th Edition
by DINES BJORNER, TECHNICAL UNIVERSITY OF DENMARK, LYNGBY, DENMARK; C.A.R. HOARE, O
Details
- 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 BJORNER, TECHNICAL UNIVERSITY OF DENMARK, LYNGBY, DENMARK; C.A.R. HOARE, O
- Binding Paperback
- Edition number 1990th
- Edition 1990
- Language ENG
- Publisher Springer
- Date 1990
- ISBN 9783540525134
More Copies for Sale
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
-
CA$6.73CA$8.29 shipping to USA
Show Details
Item Price
CA$6.73
CA$8.29
shipping to USA
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
-
CA$6.92CA$16.61 shipping to USA
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
CA$6.92
CA$16.61
shipping to USA
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
-
CA$7.17CA$6.23 shipping to USA
Show Details
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.
Item Price
CA$7.17
CA$6.23
shipping to USA
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
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
CA$17.28FREE shipping to USA
Show Details
Description:
Springer, 1990-05-04. Paperback. Good.
Item Price
CA$17.28
FREE shipping to USA
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
- Edition
- 1990
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540525134 / 3540525130
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
CA$71.43FREE shipping to USA
Show Details
Description:
Springer, 1990-05-04. 1990. Paperback. Used:Good.
Item Price
CA$71.43
FREE shipping to USA
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
-
CA$92.31CA$13.88 shipping to USA
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
CA$92.31
CA$13.88
shipping to USA
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
-
CA$104.67CA$17.29 shipping to USA
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
CA$104.67
CA$17.29
shipping to USA
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
-
CA$108.21CA$5.52 shipping to USA
Show Details
Description:
Springer , pp. 604 . Papeback. New.
Item Price
CA$108.21
CA$5.52
shipping to USA
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
-
CA$250.47CA$20.76 shipping to USA
Show Details
Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
CA$250.47
CA$20.76
shipping to USA