{"product_id":"practice-of-formal-methods-springer-international-publishing-ag-9783031666759-essays-in-honour-of-cliff-jones-part-i","title":"Practice of Formal Methods","description":"\u003cp\u003eDiscover the essential insights in the \"Practice of Formal Methods,\" authored by a distinguished expert with an impressive background in industry research across the UK, Austria, and Belgium. This 2024 edition, published by Springer International Publishing AG, spans 316 pages and offers a comprehensive exploration of formal methods in various applications. With a PhD from the University of Oxford and extensive academic experience at prestigious institutions such as the University of Cambridge and the University of Manchester, the author brings a wealth of knowledge to this critical field. Enhance your understanding and application of formal methods in your work or studies with this invaluable resource. Available in paperback, this book is a must-have for professionals and students alike. Don’t miss the opportunity to elevate your expertise in formal methods!\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52259075031382,"sku":"9783031666759","price":72.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031666759.jpg?v=1767789562","url":"https:\/\/www.englishbook.fi\/products\/practice-of-formal-methods-springer-international-publishing-ag-9783031666759-essays-in-honour-of-cliff-jones-part-i","provider":"Bookshop","version":"1.0","type":"link"}