{"title":"Marieke Huisman","description":null,"products":[{"product_id":"tests-and-proofs-springer-international-publishing-ag-9783031720437-18th-international-conference-tap-2024-milan-italy-september-9-10-2024-proceedings-marieke-huisman","title":"Tests and Proofs","description":"\u003cp\u003e\u003cstrong\u003eTests and Proofs\u003c\/strong\u003e by Marieke Huisman, Falk Howar.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2024), Paperback, 177 pages.\u003c\/p\u003e","brand":"Marieke Huisman","offers":[{"title":"Default Title","offer_id":52256243548502,"sku":"9783031720437","price":145.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031720437.jpg?v=1767785851"},{"product_id":"formal-techniques-for-distributed-objects-components-and-systems-springer-international-publishing-ag-9783031353543-43rd-ifip-wg-6-1-international-conference-forte-2023-held-as-part-of-the-18th-international-federated-conference-on-distributed-computing-t","title":"Formal Techniques for Distributed Objects, Components, and Systems","description":"\u003cp\u003e\u003cstrong\u003eFormal Techniques for Distributed Objects, Components, and Systems\u003c\/strong\u003e by Marieke Huisman, António Ravara.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2023), Paperback, 225 pages.\u003c\/p\u003e","brand":"Marieke Huisman","offers":[{"title":"Default Title","offer_id":52274325586262,"sku":"9783031353543","price":72.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031353543.jpg?v=1767812563"},{"product_id":"formal-methods-springer-nature-switzerland-ag-9783030908690-24th-international-symposium-fm-2021-virtual-event-november-20-26-2021-proceedings-marieke-huisman","title":"Formal Methods","description":"\u003cp\u003eDiscover the essential insights in \u003cstrong\u003eFormal Methods\u003c\/strong\u003e, authored by Marieke Huisman and published by Springer Nature Switzerland AG in 2021. This comprehensive volume features the refereed proceedings of the 24th Symposium on Formal Methods (FM 2021), which took place virtually in November 2021. Within its impressive 800 pages, you will find 43 meticulously reviewed full papers, alongside 4 invited presentations, all selected from a competitive pool of 131 submissions. This book is an invaluable resource for researchers and practitioners in the field of formal methods, offering cutting-edge developments and discussions. Enhance your knowledge and stay updated on the latest trends in this critical area of study with this first edition of \u003cstrong\u003eFormal Methods\u003c\/strong\u003e.\u003c\/p\u003e","brand":"Marieke Huisman","offers":[{"title":"Default Title","offer_id":52274327781718,"sku":"9783030908690","price":121.24,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030908690.jpg?v=1767812571"},{"product_id":"concise-guide-to-software-verification-springer-international-publishing-ag-9783031301667-from-model-checking-to-annotation-checking-marieke-huisman","title":"Concise Guide to Software Verification","description":"\u003cp\u003e\u003cstrong\u003eConcise Guide to Software Verification\u003c\/strong\u003e by Marieke Huisman, Anton Wijs.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2023), Hardback, 248 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Mathematics.\u003c\/p\u003e","brand":"Marieke Huisman","offers":[{"title":"Default Title","offer_id":52277203829078,"sku":"9783031301667","price":90.93,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031301667.jpg?v=1767819278"}],"url":"https:\/\/www.bookshop.lv\/collections\/marieke-huisman.oembed","provider":"Bookshop","version":"1.0","type":"link"}