Skip to content

VDM '87. VDM - A Formal Method at Work VDM-Europe Symposium 1987, Brussels,
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
Back to Top

More Copies for Sale

Lecture Notes in Computer Science, Volume 252: VDM '87--A Formal Method at Work, Proceedings...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$16.51
NZ$9.08 shipping to USA

Show Details

Description:
Berlin, Germany: Springer-Verlag, 1987. Ex-Library. Very Good. Paperback. 1st.. w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo.
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...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$47.52
NZ$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...

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$102.55
NZ$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...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$123.69
NZ$20.84 shipping to USA

Show Details

Description:
Paperback / softback. New.
Item Price
NZ$123.69
NZ$20.84 shipping to USA