Skip to content

VDM '90. VDM and Z - Formal Methods in Software Development: Third International
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


From the publisher

This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming.

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
Back to Top

More Copies for Sale

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$8.27
NZ$10.20 shipping to USA

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
NZ$8.27
NZ$10.20 shipping to USA
Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$8.51
NZ$20.43 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
NZ$8.51
NZ$20.43 shipping to USA
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$8.77
NZ$7.66 shipping to USA

Show Details

Description:
Springer, 1990. *Price HAS BEEN REDUCED by 10% until Monday, April 29 (sale item)* 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
NZ$8.77
NZ$7.66 shipping to USA
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM...
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
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
NZ$21.26
FREE shipping to USA

Show Details

Description:
Springer, 1990-05-04. Paperback. Good.
Item Price
NZ$21.26
FREE shipping to USA
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM...
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
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
NZ$87.87
FREE shipping to USA

Show Details

Description:
Springer, 1990-05-04. 1990. Paperback. Used:Good.
Item Price
NZ$87.87
FREE shipping to USA
VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of...

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$113.14
NZ$17.01 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
NZ$113.14
NZ$17.01 shipping to USA
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$128.28
NZ$21.19 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
NZ$128.28
NZ$21.19 shipping to USA
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of...
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
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
NZ$308.10
NZ$25.53 shipping to USA

Show Details

Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
NZ$308.10
NZ$25.53 shipping to USA