{"title":"Étienne André","description":null,"products":[{"product_id":"formal-modeling-and-analysis-of-timed-systems-springer-nature-switzerland-ag-9783030296612-17th-international-conference-formats-2019-amsterdam-the-netherlands-august-27-29-2019-proceedings-tienne-andr","title":"Formal Modeling and Analysis of Timed Systems","description":"\u003cp\u003eExplore the cutting-edge research presented in \u003cstrong\u003eFormal Modeling and Analysis of Timed Systems\u003c\/strong\u003e by \u003cstrong\u003eÉtienne André\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019. This comprehensive volume features the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2019), which took place in Amsterdam, The Netherlands, in August 2019.\u003c\/p\u003e \n\n\u003cp\u003eInside this 301-page paperback, you will find 15 full papers and 2 short papers that have been meticulously reviewed and selected from a competitive pool of 42 submissions. This book is an essential resource for researchers and practitioners interested in the formal modeling and analysis of timed systems, offering valuable insights into the latest advancements in the field.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your knowledge and understanding of timed systems with this authoritative collection, perfect for those looking to stay at the forefront of this dynamic area of study.\u003c\/p\u003e","brand":"Étienne André","offers":[{"title":"Default Title","offer_id":52243231768918,"sku":"9783030296612","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030296612.jpg?v=1767766227"},{"product_id":"automated-technology-for-verification-and-analysis-springer-international-publishing-ag-9783031453311-21st-international-symposium-atva-2023-singapore-october-24-27-2023-proceedings-part-ii-tienne-andr","title":"Automated Technology for Verification and Analysis","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Automated Technology for Verification and Analysis,\" authored by Étienne André and published by Springer International Publishing AG in 2023. This comprehensive volume is a collection of the refereed proceedings from the 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023), held in Singapore. Spanning 330 pages, this first edition brings together the latest research and developments in the field, making it an essential resource for academics, researchers, and practitioners alike. Dive into the world of automated verification and analysis, and enhance your understanding of this rapidly evolving discipline. Don't miss your chance to stay ahead in the field with this informative and engaging book.\u003c\/p\u003e","brand":"Étienne André","offers":[{"title":"Default Title","offer_id":52279707992406,"sku":"9783031453311","price":78.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031453311.jpg?v=1767824086"},{"product_id":"automated-technology-for-verification-and-analysis-springer-international-publishing-ag-9783031453281-21st-international-symposium-atva-2023-singapore-october-24-27-2023-proceedings-part-i-tienne-andr","title":"Automated Technology for Verification and Analysis","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Automated Technology for Verification and Analysis,\" authored by Étienne André and published by Springer International Publishing AG in 2023. This comprehensive volume presents the refereed proceedings from the 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023), held in Singapore in October 2023. Spanning 446 pages, this first edition delves into the latest advancements in verification and analysis technologies, making it an essential resource for researchers, practitioners, and students in the field. Enhance your understanding of automated technology and its applications in verification and analysis with this authoritative text. Perfect for those looking to stay ahead in this rapidly evolving discipline, this book is a must-have addition to your professional library.\u003c\/p\u003e","brand":"Étienne André","offers":[{"title":"Default Title","offer_id":52279708123478,"sku":"9783031453281","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031453281.jpg?v=1767824088"}],"url":"https:\/\/www.englishbook.pl\/collections\/etienne-andre.oembed","provider":"Bookshop","version":"1.0","type":"link"}