{"product_id":"formal-methods-fun-for-everybody-springer-nature-switzerland-ag-9783030713737-first-international-workshop-fmfun-2019-bergen-norway-december-2-3-2019-revised-selected-papers-antonio-cerone","title":"Formal Methods – Fun for Everybody","description":"\u003cp\u003eDiscover the intriguing world of formal methods with \u003cstrong\u003eFormal Methods – Fun for Everybody\u003c\/strong\u003e by \u003cstrong\u003eAntonio Cerone\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2021, this engaging volume presents the post-workshop proceedings from the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway. Spanning 227 pages, this first edition features a collection of 7 meticulously revised full papers and 2 revised short papers, all selected from a competitive pool of 15 submissions. This book is perfect for enthusiasts and professionals alike, offering insights into the intersection of formal methods and accessibility. Dive into a unique exploration that makes complex concepts enjoyable and understandable for everyone. Enhance your knowledge and appreciation of formal methods today!\u003c\/p\u003e","brand":"Antonio Cerone","offers":[{"title":"Default Title","offer_id":52274327454038,"sku":"9783030713737","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030713737.jpg?v=1767812571","url":"https:\/\/www.bookshop.lt\/products\/formal-methods-fun-for-everybody-springer-nature-switzerland-ag-9783030713737-first-international-workshop-fmfun-2019-bergen-norway-december-2-3-2019-revised-selected-papers-antonio-cerone","provider":"Bookshop","version":"1.0","type":"link"}