{"product_id":"vdm-91-formal-software-development-soren-prehn-9783540548683","title":"VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee","description":"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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Soren Prehn\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540548688\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540548683\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 10\/14\/1991\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 433\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.38lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.91d","brand":"Soren Prehn","offers":[{"title":"Paperback","offer_id":48459862311167,"sku":"9783540548683","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_6c1b5cca-cea2-4a74-8acf-fe3bfb24d5b4.jpg?v=1777412215","url":"https:\/\/www.whiterainbookhouse.com\/products\/vdm-91-formal-software-development-soren-prehn-9783540548683","provider":"WR Book House","version":"1.0","type":"link"}