{"product_id":"b-method-book-steve-schneider-9780333792841","title":"The B-Method","description":"This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The method uses a single uniform notation throughout development, designed to enable verification at each stage whilst placing particular emphasis on correctness.  · Suitable for undergraduate and postgraduate courses on formal methods and software development · Written in a clear tutorial style of explanation  · Contains numerous illustrative examples, exercises and self-testing questions with solutions throughout · Relevant to users of any B-Method CASE tool · Teaching materials available online  The B-Method : An Introduction also offers readers powerful tool support by providing a free licence for the B-Toolkit - an integrated toolset which supports and extends the entire B development lifecycle.","brand":"WoB","offers":[{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":49543757824273,"sku":"GOR013322544","price":21.99,"currency_code":"EUR","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":49562191200529,"sku":"GOR002945039","price":17.99,"currency_code":"EUR","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49582368915729,"sku":"GOR002416707","price":92.08,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/033379284X.jpg?v=1751455139","url":"https:\/\/www.worldofbooks.com\/en-ie\/products\/b-method-book-steve-schneider-9780333792841","provider":"World of Books ","version":"1.0","type":"link"}