VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee.

Seller Inventory # BBS-9783540548683

Contact seller

Report this item

Bibliographic Details

Title: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee (Paperback or Softback)
Publisher: Springer 10/14/1991
Publication Date: 1991
Language: English
ISBN 10: 3540548688
ISBN 13: 9783540548683
Binding: Paperback or Softback
Condition: New
Weight: 1.38 pounds
Book Type: Book

About this title

Synopsis

The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by the VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of reasearchers, software engineers, and programmers, all interested in prommoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains the conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, THE B Method, and The Stack). They present a comprehensive account of the state of theart.

"About this title" may belong to another edition of this title.

Store Description

Save up to 90% on your favorite items at BargainBookStores.com! Our 20,000 square foot warehouse in Grand Rapids, Michigan is filled with hundreds of thousands of books and consumer goods, all at the lowest prices! We've been serving internet customers with great deals since 2001. All books ship from Grand Rapids, Michigan. 100% Customer Satisfaction Guaranteed We want to ensure your satisfaction. If you are dissatisfied with your purchase or shopping experience, we would like to hear from you. Please contact us by email: cs@bargainbookstores.com. Please be sure to include your contact information and order number. We do not charge a restocking fee for returns. Your Privacy BargainBookStores.com does not provide, sell or market customer information to other businesses or organizations.

Visit Seller's Storefront

Seller's business information

BargainBookStores
3423 Lousma Dr SE, Grand Rapids, MI, 49548, U.S.A.

Sale & Shipping Terms

Terms of Sale

BargainBookStores guarantees 100% Customer Satisfaction. We ship worldwide and offer a variety of shipping methods to meet your needs. Please place your order directly via ABEBooks.com. We accept payment by MasterCard and Visa. For more information, contact us by email at cs@bargainbookstores.com. Full contact info is below:

BargainBookStores.com LLC
3423 Lousma Dr SE
Grand Rapids, MI 49548

Shipping Terms

We will ship to all domestic and most international destinations.

Please note: Shipping times are estimated and are not guaranteed by BargainBookStores.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 10 business days	4 to 9 business days
First item	US$ 0.00	US$ 39.50

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.