{"product_id":"b98-recent-advances-in-the-development-and-use-of-the-b-method-second-international-b-conference-montpellier-france-april-22-24-1998-proceedings-von-bert-didier-hrsg","title":"B'98: Recent Advances in the Development and Use of the B Method","description":"\n                                This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.\n                \n                \u003cbr\u003e\n                                The 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.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540644057\"\u003e\u003ch3\u003eSecond International B Conference, Montpellier, France, April 22-24, 1998, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540644057","offer_id":39437409550429,"sku":"9783540644057","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/3aeded25-3fe3-4466-a443-fe12676790ad.jpg?v=1773553160","url":"https:\/\/shop.autorenwelt.de\/products\/b98-recent-advances-in-the-development-and-use-of-the-b-method-second-international-b-conference-montpellier-france-april-22-24-1998-proceedings-von-bert-didier-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}