{"title":"Kim Guldstrand Larsen","description":null,"products":[{"product_id":"reachability-problems-springer-international-publishing-ag-9783319459936-10th-international-workshop-rp-2016-aalborg-denmark-september-19-21-2016-proceedings-kim-guldstrand-larsen","title":"Reachability Problems","description":"\u003cp\u003eExplore the forefront of theoretical computer science with \"Reachability Problems\" by Kim Guldstrand Larsen, published by Springer International Publishing AG in 2016. This engaging book features the refereed proceedings from the 10th International Workshop on Reachability Problems, held in Aalborg, Denmark, bringing together leading minds to discuss innovative approaches to reachability in infinite state systems.\u003c\/p\u003e\n\n\u003cp\u003eSpanning 193 pages, the first edition offers a comprehensive examination of diverse topics within this vital area of research, making it an essential resource for researchers, practitioners, and students alike. Dive into the intricate challenges and cutting-edge solutions presented by experts in the field, and gain insights that could influence future developments in system design and analysis.\u003c\/p\u003e\n\n\u003cp\u003eWhether you're looking to deepen your understanding of reachability or seeking inspiration for your own research, \"Reachability Problems\" is a must-have addition to your collection. Get your copy today and stay ahead in this rapidly evolving field!\u003c\/p\u003e","brand":"Kim Guldstrand Larsen","offers":[{"title":"Default Title","offer_id":52231126319446,"sku":"9783319459936","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319459936.jpg?v=1767747680"},{"product_id":"formal-methods-for-industrial-critical-systems-springer-nature-switzerland-ag-9783030270070-24th-international-conference-fmics-2019-amsterdam-the-netherlands-august-30-31-2019-proceedings-kim-guldstrand-larsen","title":"Formal Methods for Industrial Critical Systems","description":"\u003cp\u003eDiscover the latest advancements in the field of formal methods with \u003cstrong\u003eFormal Methods for Industrial Critical Systems\u003c\/strong\u003e by \u003cstrong\u003eKim Guldstrand Larsen\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019, presents the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), which took place in Amsterdam, The Netherlands, in August 2019. \u003c\/p\u003e \n\n\u003cp\u003eWithin its 161 pages, this book features 9 meticulously reviewed papers selected from a competitive pool of 15 submissions, offering valuable insights into the application of formal methods in critical industrial systems. Ideal for researchers, practitioners, and students alike, this edition serves as an essential resource for understanding the intricate methodologies that ensure the reliability and safety of industrial systems. Enhance your knowledge and explore the critical intersection of formal methods and industrial applications today!\u003c\/p\u003e","brand":"Kim Guldstrand Larsen","offers":[{"title":"Default Title","offer_id":52243232522582,"sku":"9783030270070","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030270070.jpg?v=1767766226"},{"product_id":"dependable-software-engineering-theories-tools-and-applications-springer-international-publishing-ag-9783319694825-third-international-symposium-setta-2017-changsha-china-october-23-25-2017-proceedings-kim-guldstrand-larsen","title":"Dependable Software Engineering. Theories, Tools, and Applications","description":"\u003cp\u003eDiscover the essential insights of dependable software engineering in \"Dependable Software Engineering: Theories, Tools, and Applications\" by Kim Guldstrand Larsen. Published by Springer International Publishing AG in 2017, this comprehensive paperback edition spans 351 pages and serves as the official proceedings of the Third International Symposium on Dependable Software Engineering (SETTA 2017), held in Changsha, China.\u003c\/p\u003e \n\n\u003cp\u003eThis book features 19 meticulously reviewed full papers along with 3 invited talks, showcasing the latest advancements and methodologies in the field. Whether you are a researcher, a practitioner, or a student, this volume provides valuable perspectives on theories, tools, and applications that are crucial for the development of reliable software systems.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of software engineering with this authoritative resource that bridges theory and practice, making it a must-have for anyone interested in the reliability of software systems.\u003c\/p\u003e","brand":"Kim Guldstrand Larsen","offers":[{"title":"Default Title","offer_id":52246613295446,"sku":"9783319694825","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319694825.jpg?v=1767771550"}],"url":"https:\/\/www.bookshop.lt\/collections\/kim-guldstrand-larsen.oembed","provider":"Bookshop","version":"1.0","type":"link"}