Our Location
Welcome to Jarir!
Please type in at least 2 characters
Please type in at least 2 characters
Jarir Logo
International Product
  1. VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Procee
Item 1 of 1
International Product
Item 1 of 1

VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe

NoordwijkerhoutThe NetherlandsOctober 21-251991. Procee

Printed Book
SR 729
Inclusive of VAT
Sold as: EACH
SR44Per Month/24 months
Author:Prehn, Soren
Date of Publication: 1991
Book classification:Computer & Technology,English Books,
No. of pages:724 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR729
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. <b>Volume 1</b> contains invited and contributed papers, reports and abstracts. <b>Volume 2</b> contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
Show more

Specifications

SKU9783540548348
Manufacturer Number9783540548348
year published1991
Show more

Report an issue with this product.

Customer Reviews

Write Review
Go back to the top

Copyright © 2026. Jarir Bookstore. C. R. No. 1010032264. Online C. R. No. 1010654213. (Jarir Marketing Company) VAT ID 300056289500003. All Rights Reserved.