{"product_id":"a-theory-and-practice-of-program-development-9783540761624","title":"A Theory and Practice of Program Development","description":"\u003cp\u003e • Author(s): Derek J. Andrews\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003e\u003cb\u003eA Theory and Practice of Program Development\u003c\/b\u003e 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. \u003cb\u003eA Theory and Practice of Program Development\u003c\/b\u003e 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283892199575,"sku":"9783540761624","price":3639.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540761624.webp?v=1769279573","url":"https:\/\/atlanticbooks.com\/products\/a-theory-and-practice-of-program-development-9783540761624","provider":"Atlantic Books","version":"1.0","type":"link"}