Springer
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
Product Code:
9783540548348
ISBN13:
9783540548348
Condition:
New
$118.37
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
$118.37
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 |
Related Products
