{"product_id":"specification-in-b-howard-haughton-9781860940187","title":"Specification in B: An Introduction Using the B Toolkit","description":"This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Howard Haughton,Kevin Lano\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1860940188\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781860940187\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Imperial College Press\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 04\/01\/1996\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 252\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.83lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 8.40h x 6.00w x 0.60d","brand":"Howard Haughton","offers":[{"title":"Paperback","offer_id":48448004063487,"sku":"9781860940187","price":45.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_146dc0d2-df40-4b7e-a34f-8035fb731bc2.jpg?v=1777236247","url":"https:\/\/www.whiterainbookhouse.com\/products\/specification-in-b-howard-haughton-9781860940187","provider":"WR Book House","version":"1.0","type":"link"}