{"product_id":"b98-recent-advances-in-the-development-and-use-of-the-b-method-second-international-b-conference-montpellier-france-april-22-24-1998-proceedin-9783540644057","title":"B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedin","description":"\u003cp\u003e • Author(s): Bert Didier\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003eThis book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.\u003cbr\u003eThe book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47614653890711,"sku":"9783540644057","price":5703.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540644057.webp?v=1775095261","url":"https:\/\/atlanticbooks.com\/products\/b98-recent-advances-in-the-development-and-use-of-the-b-method-second-international-b-conference-montpellier-france-april-22-24-1998-proceedin-9783540644057","provider":"Atlantic Books","version":"1.0","type":"link"}