Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe
NoordwijkerhoutThe NetherlandsOctober 21-251991. Procee
SR 514
Inclusive of VAT
SR31Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR514
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
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.
Report an issue with this product.
