null Skip to main content

✨ Buy more, save 5% Ends

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

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

Soren Prehn

$117.22
(No reviews yet) Write a Review
Physical book delivery

Shipping calculated at checkout.

Estimated delivery
Adding to cart… The item has been added
Product Details
Author:
Soren Prehn
Publisher:
Springer
Publication Date:
Oct 14, 1991
Number of pages:
705 pages
Binding:
Paperback or Softback
ISBN-10:
3540548343
ISBN-13:
9783540548348

Overview

The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.


  • | Author: Soren Prehn
  • | Publisher: Springer
  • | Publication Date: Oct 14, 1991
  • | Number of Pages: 705 pages
  • | Binding: Paperback or Softback
  • | ISBN-10: 3540548343
  • | ISBN-13: 9783540548348

Reviews

0 Reviews

Write a Review

No reviews yet.

Share your experience and help another reader choose their next book.

!

Discover your next great book

Get new releases, reader favourites, and special offers delivered to your inbox.