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

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee (Paperback) (ISBN-13: 9783540548683)

Vendor: Soren Prehn
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee by Prehn, Soren

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

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

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

$54.99
Format: Paperback
Description
Description
x
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
ISBN-10: 3540548688
ISBN-13: 9783540548683
Publisher: Springer
Language: English
Published: 10/14/1991
Pages: 433
Format: Paperback
Weight: 1.38lbs
Size: 9.21h x 6.14w x 0.91d

Recently Viewed Products