{"product_id":"a-theory-and-practice-of-program-development-von-derek-j-andrews","title":"A Theory and Practice of Program Development","description":"\n                                \n                \u003cb\u003eA Theory and Practice of Program Development\u003c\/b\u003e\n                                 provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. \n                \n                \u003cb\u003eA Theory and Practice of Program Development\u003c\/b\u003e\n                                 is intended for 3rd\/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540761624\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540761624","offer_id":39436682297437,"sku":"9783540761624","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/33083272-8a52-4add-9bcf-cb0f5df1ab21.jpg?v=1775107691","url":"https:\/\/shop.autorenwelt.de\/products\/a-theory-and-practice-of-program-development-von-derek-j-andrews","provider":"Autorenwelt Shop","version":"1.0","type":"link"}