{"title":"Alexander Raschke","description":null,"products":[{"product_id":"rigorous-state-based-methods-springer-nature-switzerland-ag-9783030775421-8th-international-conference-abz-2021-ulm-germany-june-9-11-2021-proceedings-alexander-raschke","title":"Rigorous State-Based Methods","description":"\u003cp\u003eDiscover the innovative insights in \u003cstrong\u003eRigorous State-Based Methods\u003c\/strong\u003e by \u003cstrong\u003eAlexander Raschke\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2021. This first edition, comprising 167 pages, presents the proceedings of the 8th International Conference on Rigorous State-Based Methods (ABZ 2021), originally scheduled to take place in Ulm, Germany, from June 6-11, 2021.\u003c\/p\u003e \n\n\u003cp\u003eDive into the world of state-based and machine-based formal methods, focusing on essential topics such as Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z. This comprehensive collection is perfect for researchers, practitioners, and students interested in advanced formal methods and their applications in system design and verification.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of rigorous methodologies in computer science and explore the latest developments in this crucial field. Order your copy of \u003cstrong\u003eRigorous State-Based Methods\u003c\/strong\u003e today!\u003c\/p\u003e","brand":"Alexander Raschke","offers":[{"title":"Default Title","offer_id":52261685559638,"sku":"9783030775421","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030775421.jpg?v=1767792923"},{"product_id":"rigorous-state-based-methods-springer-nature-switzerland-ag-9783030480769-7th-international-conference-abz-2020-ulm-germany-may-27-29-2020-proceedings-alexander-raschke","title":"Rigorous State-Based Methods","description":"\u003cp\u003eDiscover the power of rigorous methodologies in \"Rigorous State-Based Methods\" by Alexander Raschke, published by Springer Nature Switzerland AG in 2020. This comprehensive volume spans 428 pages and features a collection of 12 full papers and 9 short papers, all meticulously reviewed and selected from a competitive pool of 61 submissions. Alongside these contributions, you will find 2 invited papers, 6 PhD-Symposium contributions, and a case study that highlights innovative solutions in the field. This book is an essential resource for researchers and practitioners looking to deepen their understanding of state-based methods in a rigorously structured context. Enhance your knowledge and explore the latest advancements in this dynamic area of study today!\u003c\/p\u003e","brand":"Alexander Raschke","offers":[{"title":"Default Title","offer_id":52261685756246,"sku":"9783030480769","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030480769.jpg?v=1767792922"},{"product_id":"logic-computation-and-rigorous-methods-springer-nature-switzerland-ag-9783030760199-essays-dedicated-to-egon-borger-on-the-occasion-of-his-75th-birthday-alexander-raschke","title":"Logic, Computation and Rigorous Methods","description":"\u003cp\u003e\u003cstrong\u003eLogic, Computation and Rigorous Methods\u003c\/strong\u003e by Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2021), Paperback, 353 pages.\u003c\/p\u003e","brand":"Alexander Raschke","offers":[{"title":"Default Title","offer_id":52269784105302,"sku":"9783030760199","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030760199.jpg?v=1767803600"}],"url":"https:\/\/www.bookshop.lt\/collections\/alexander-raschke.oembed","provider":"Bookshop","version":"1.0","type":"link"}