{"product_id":"the-b-language-and-method-a-guide-to-practical-formal-development-von-kevin-lano","title":"The B Language and Method","description":"B 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540760337\"\u003e\u003ch3\u003eA Guide to Practical Formal Development\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540760337","offer_id":39425958772829,"sku":"9783540760337","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/cf5c8fbd-d6a1-4a14-a756-807695f097ef.jpg?v=1775800552","url":"https:\/\/shop.autorenwelt.de\/products\/the-b-language-and-method-a-guide-to-practical-formal-development-von-kevin-lano","provider":"Autorenwelt Shop","version":"1.0","type":"link"}