Top : Boat Design and Boatbuilding Books


VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings (Lecture Notes in Computer Science)


  

from: Springer

 : VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings (Lecture Notes in Computer Science)
variant image
List Price: $129.00
Amazon.com's Price: $117.09
You Save: $11.91 ( 9%)
as of 05/20/2019 02:52 EDT



Availability: Usually ships in 24 hours



This item ships for FREE with Super Saver Shipping.
Binding: Paperback
EAN: 9783540502142
Edition: 1988
ISBN: 3540502149
Item Dimensions: 925610348117
Label: Springer
Languages: EnglishPublishedEnglishOriginal LanguageEnglishUnknown
Manufacturer: Springer
MPN: 6902854
Number Of Items: 1
Number Of Pages: 504
Publication Date: September 26, 1988
Publisher: Springer
Studio: Springer




Alternate Versions: Click to Display

Browse for similar items by category: Click to Display



Editorial Review:

Product Description:
This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. "VDM - The Way Ahead" is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term "formal method" refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations.





 



Boat Design.Net
Design Award


  Top Rated Sites
 
  Most Popular Sites
 
  What's New

  Boat Plans
 
  Books
 
  Designers
 
  Boatbuilders
 
  Materials
 
  Powerboats
 
  Catamarans
 
  Propulsion
 
  Sailboats
 
  Multihulls
 
  Software
 
  Resources
 
  My Links
 
  Gallery
 
  Forums
 
  Search

Product prices and availability are accurate as of the date/time indicated and are subject to change. Any price and availability information displayed on amazon.com at the time of purchase will apply to the purchase of the product. Boat Design Net is a participant in the Amazon Services LLC Associates Program, an affiliate advertising program designed to provide a means for sites to earn advertising fees by advertising and linking to amazon.com.
Thank You for Your Support of Boat Design.Net

Home  |  Top of Page