Description:
Berlin, Germany: Springer-Verlag, 1987. Ex-Library. Very Good. Paperback. 1st.. w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo.
![VDM '87. VDM - A Formal Method at Work VDM-Europe Symposium 1987, Brussels,](https://d3525k1ryd2155.cloudfront.net/f/541/176/9783540176541.IN.0.m.jpg)
Stock Photo: Cover May Be Different
VDM '87. VDM - A Formal Method at Work VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science) Paperback - 1987 - 1987th Edition
by Springer
First line
In this talk I want to trace the history of VDM by highlighting the important ideas that contributed to its present form and status.
Details
- Title VDM '87. VDM - A Formal Method at Work VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science)
- Author Springer
- Binding Paperback
- Edition number 1987th
- Edition 1987
- Publisher Springer, Berlin, Germany
- Date April 6, 1987
- ISBN 9783540176541
More Copies for Sale
![Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings...](https://d3525k1ryd2155.cloudfront.net/f/541/176/9783540176541.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings of Symposium, March 1987, Brussels, Belgium.
by Bjorner, D. (Editor); Jones, C. B. (Editor); Mac an Airchinnigh, M. (Editor); Neuhold, E. J. (Editor)
- Used
- Very Good
- Paperback
- first
- Condition
- Used - Very Good
- Edition
- 1st.
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540176541 / 3540176543
- Quantity Available
- 1
- Seller
-
NEWARK, Ohio, United States
- Item Price
-
NZ$16.51NZ$9.08 shipping to USA
Show Details
Item Price
NZ$16.51
NZ$9.08
shipping to USA
![VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March...](https://d3525k1ryd2155.cloudfront.net/f/541/176/9783540176541.IN.0.m.jpg)
Stock Photo: Cover May Be Different
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science)
by BjÃÆørner, Dines [Editor]; Jones, Cliff [Editor]; Mac An Airchinnigh, Michael [Editor]; Neuhold, Erich [Editor];
- Used
- Good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540176541 / 3540176543
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
NZ$47.52NZ$9.89 shipping to USA
Show Details
Description:
Springer, 1987-04-06. Paperback. Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Item Price
NZ$47.52
NZ$9.89
shipping to USA
![VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March...](https://d3525k1ryd2155.cloudfront.net/h/640/705/1588705640.0.m.jpg)
VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
by Dines Bjørner
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540176541 / 3540176543
- Quantity Available
- 596
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
NZ$102.55NZ$16.74 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings.
Item Price
NZ$102.55
NZ$16.74
shipping to USA
![VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March...](https://d3525k1ryd2155.cloudfront.net/f/541/176/9783540176541.IN.0.m.jpg)
Stock Photo: Cover May Be Different
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
by Dines Bjorner
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540176541 / 3540176543
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
NZ$123.69NZ$20.84 shipping to USA
Show Details
Description:
Paperback / softback. New.
Item Price
NZ$123.69
NZ$20.84
shipping to USA