{"product_id":"vdm-91-formal-software-development-methods-4th-international-symposium-of-vdm-europe-noordwijkerhout-the-netherlands-october-21-25-1991-procee-9783540548683","title":"VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee","description":"\u003cp\u003e • Author(s): Soren Prehn | Hans Toetenel\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003eThe 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47615122178199,"sku":"9783540548683","price":5770.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540548683.webp?v=1775098181","url":"https:\/\/atlanticbooks.com\/products\/vdm-91-formal-software-development-methods-4th-international-symposium-of-vdm-europe-noordwijkerhout-the-netherlands-october-21-25-1991-procee-9783540548683","provider":"Atlantic Books","version":"1.0","type":"link"}