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
-
A$15.19A$8.35 shipping to USA
Show Details
Item Price
A$15.19
A$8.35
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
-
A$43.73A$9.10 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
A$43.73
A$9.10
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
-
A$94.03A$15.34 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
A$94.03
A$15.34
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
-
A$113.41A$19.11 shipping to USA
Show Details
Description:
Paperback / softback. New.
Item Price
A$113.41
A$19.11
shipping to USA
![VDM '87. VDM - A Formal Method at Work](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
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540176541 / 3540176543
- Quantity Available
- 4
- Seller
-
Woodside, New York, United States
- Item Price
-
A$296.34A$6.06 shipping to USA
Show Details
Description:
Springer , pp. 436 . Papeback. New.
Item Price
A$296.34
A$6.06
shipping to USA