{"product_id":"modeling-in-event-b-cambridge-university-press-9780521895569-system-and-software-engineering-jean-raymond-abrial","title":"Modeling in Event-B","description":"\u003cp\u003eDiscover the power of formal methods with \u003cstrong\u003eModeling in Event-B\u003c\/strong\u003e by \u003cstrong\u003eJean-Raymond Abrial\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2010. This comprehensive hardback edition spans \u003cstrong\u003e612 pages\u003c\/strong\u003e and serves as an essential resource for both introductory and advanced courses in formal methods.\u003c\/p\u003e \n\n\u003cp\u003eDelve into a mathematical approach to modeling and designing systems through the innovative extension of the B formal method known as Event-B. The book is rich with a diverse array of examples and exercises tailored to accommodate readers of all skill levels, ensuring a thorough understanding of the concepts presented.\u003c\/p\u003e \n\n\u003cp\u003eWhether you are a student, educator, or professional in the field of computer science, \u003cstrong\u003eModeling in Event-B\u003c\/strong\u003e is a vital addition to your library, providing insights into mathematical models and the verification of computer systems.\u003c\/p\u003e","brand":"Jean-Raymond Abrial","offers":[{"title":"Default Title","offer_id":52235315872086,"sku":"9780521895569","price":153.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521895569.jpg?v=1767755237","url":"https:\/\/www.bookshop.lv\/products\/modeling-in-event-b-cambridge-university-press-9780521895569-system-and-software-engineering-jean-raymond-abrial","provider":"Bookshop","version":"1.0","type":"link"}