{"title":"Maurice H. ter Beek","description":null,"products":[{"product_id":"from-software-engineering-to-formal-methods-and-tools-and-back-springer-nature-switzerland-ag-9783030309848-essays-dedicated-to-stefania-gnesi-on-the-occasion-of-her-65th-birthday-maurice-h-ter-beek","title":"From Software Engineering to Formal Methods and Tools, and Back","description":"\u003cp\u003eDiscover the insightful journey of research in \"From Software Engineering to Formal Methods and Tools, and Back\" by Maurice H. ter Beek. Published by Springer Nature Switzerland AG in 2019, this comprehensive paperback edition spans 574 pages, offering a deep dive into the evolution of software engineering and formal methods. The book pays homage to Stefania's significant contributions to the field, structured into seven engaging sections that reflect her research lifecycle. This work not only highlights the interconnectedness of software engineering and formal methods but also serves as a valuable resource for scholars and practitioners alike. Explore the intricate relationship between these domains and gain a deeper understanding of their relevance in today's technological landscape. Perfect for those looking to expand their knowledge in software engineering and formal methodologies, this book is a must-have addition to your library.\u003c\/p\u003e","brand":"Maurice H. ter Beek","offers":[{"title":"Default Title","offer_id":52242982207830,"sku":"9783030309848","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030309848.jpg?v=1767765799"},{"product_id":"formal-methods-the-next-30-years-springer-nature-switzerland-ag-9783030309411-third-world-congress-fm-2019-porto-portugal-october-7-11-2019-proceedings-maurice-h-ter-beek","title":"Formal Methods – The Next 30 Years","description":"\u003cp\u003eExplore the future of formal methods with \"Formal Methods – The Next 30 Years,\" authored by Maurice H. ter Beek and published by Springer Nature Switzerland AG in 2019. This comprehensive volume features the refereed proceedings from the 23rd Symposium on Formal Methods, FM 2019, which took place in Porto, Portugal, as part of the Third World Congress on Formal Methods. Spanning an impressive 774 pages, this edition includes 44 meticulously reviewed full papers and 3 invited presentations, all selected from a competitive pool of 129 submissions. Ideal for researchers and practitioners alike, this book offers valuable insights into the evolving landscape of formal methods and their applications. Don't miss the opportunity to enrich your understanding of this critical field in computer science.\u003c\/p\u003e","brand":"Maurice H. ter Beek","offers":[{"title":"Default Title","offer_id":52243231310166,"sku":"9783030309411","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030309411.jpg?v=1767766225"},{"product_id":"integrated-formal-methods-springer-international-publishing-ag-9783031077265-17th-international-conference-ifm-2022-lugano-switzerland-june-7-10-2022-proceedings-maurice-h-ter-beek","title":"Integrated Formal Methods","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Integrated Formal Methods,\" authored by Maurice H. ter Beek and published by Springer International Publishing AG in 2022. This essential volume compiles the refereed proceedings from the 17th International Conference on Integrated Formal Methods (IFM 2022), which took place in the picturesque city of Lugano, Switzerland, in June 2022. With a total of 373 pages, this first edition features 14 full papers and 2 short papers, all meticulously reviewed and selected from 46 submissions. Ideal for researchers, practitioners, and students in the field, this book provides a comprehensive overview of the latest advancements in formal methods integration. Enhance your knowledge and stay ahead in the rapidly evolving landscape of formal methods with this invaluable resource.\u003c\/p\u003e","brand":"Maurice H. ter Beek","offers":[{"title":"Default Title","offer_id":52271278129494,"sku":"9783031077265","price":78.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031077265.jpg?v=1767807119"},{"product_id":"formal-methods-for-industrial-critical-systems-springer-nature-switzerland-ag-9783030582975-25th-international-conference-fmics-2020-vienna-austria-september-2-3-2020-proceedings-maurice-h-ter-beek","title":"Formal Methods for Industrial Critical Systems","description":"\u003cp\u003eDiscover the essential insights from the 25th International Workshop on Formal Methods for Industrial Critical Systems with \u003cstrong\u003eFormal Methods for Industrial Critical Systems\u003c\/strong\u003e by \u003cstrong\u003eMaurice H. ter Beek\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2020, this first edition encompasses 289 pages of cutting-edge research and discussions held on September 2-3, 2020. This book serves as a vital resource for professionals and researchers in the field, offering a comprehensive overview of formal methods and their applications in critical industrial systems. Enhance your understanding of the latest methodologies and innovations that drive safety and reliability in complex systems. Ideal for academics, practitioners, and anyone interested in the intersection of formal methods and industrial applications, this book is a must-have addition to your library.\u003c\/p\u003e","brand":"Maurice H. ter Beek","offers":[{"title":"Default Title","offer_id":52274327191894,"sku":"9783030582975","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030582975.jpg?v=1767812570"}],"url":"https:\/\/www.englishbook.fi\/collections\/maurice-h-ter-beek.oembed","provider":"Bookshop","version":"1.0","type":"link"}