{"product_id":"b-method-jean-louis-boulanger-9781785481567","title":"B Method","description":"\u003cp\u003e\u003ci\u003eB Method\u003c\/i\u003e presents the language needed, semantics and methodologies required to use the method on real projects. The B method is one of the well known formal methods used in railway systems safety going back to 1998 that has been deployed on many projects.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Jean-Louis Boulanger\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1785481568\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781785481567\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Iste Press - Elsevier\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 12\/15\/2020\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 300\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover","brand":"Jean-Louis Boulanger","offers":[{"title":"Hardcover","offer_id":48241496588543,"sku":"9781785481567","price":130.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_3d89344b-1b90-4066-9d6c-9807e26286c1.jpg?v=1772654672","url":"https:\/\/www.whiterainbookhouse.com\/products\/b-method-jean-louis-boulanger-9781785481567","provider":"WR Book House","version":"1.0","type":"link"}