{"product_id":"the-b-language-and-method-a-guide-to-practical-formal-development-9783540760337","title":"The B Language and Method: A Guide to Practical Formal Development","description":"\u003cp\u003e • Author(s): Kevin Lano\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eB is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45281568293015,"sku":"9783540760337","price":3639.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540760337.webp?v=1769299598","url":"https:\/\/atlanticbooks.com\/products\/the-b-language-and-method-a-guide-to-practical-formal-development-9783540760337","provider":"Atlantic Books","version":"1.0","type":"link"}