{"title":"Tiziana Margaria","description":null,"products":[{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-foundational-techniques-springer-international-publishing-ag-9783319471655-7th-international-symposium-isola-2016-imperial-corfu-greece-october-10-14-2016-proceedings-part-i-tiziana-mar","title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","description":"\u003cp\u003e\u003cstrong\u003eLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques\u003c\/strong\u003e by Tiziana Margaria, Bernhard Steffen.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2016), Paperback, 974 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Robots, programming, Machine learning, Computer software.\u003c\/p\u003e","brand":"Tiziana Margaria","offers":[{"title":"Default Title","offer_id":52236735381846,"sku":"9783319471655","price":109.12,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319471655.jpg?v=1767757651"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-reocas-colloquium-in-honor-of-rocco-de-nicola-springer-international-publishing-ag-9783031737084-12th-international-symposium-isola-2024-crete-greece-october-27-31-2024-proceedings-part","title":"Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola","description":"\u003cp\u003eDiscover the groundbreaking insights in \u003cstrong\u003eLeveraging Applications of Formal Methods, Verification and Validation: REoCAS Colloquium in Honor of Rocco De Nicola\u003c\/strong\u003e, edited by \u003cstrong\u003eTiziana Margaria\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2024, features 428 pages of valuable contributions from the 12th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2024), held in the picturesque setting of Crete, Greece, in October 2024. \u003c\/p\u003e \u003cp\u003eDelve into the latest advancements in formal methods and their applications in verification and validation. This collection not only honors the legacy of Rocco De Nicola but also serves as a crucial resource for researchers, practitioners, and students interested in the evolving landscape of formal methods. Enhance your understanding and explore the innovative ideas presented in this essential edition for 2025.\u003c\/p\u003e","brand":"Tiziana Margaria","offers":[{"title":"Default Title","offer_id":52262060884310,"sku":"9783031737084","price":84.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031737084.jpg?v=1767793395"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-verification-principles-springer-international-publishing-ag-9783031198489-11th-international-symposium-isola-2022-rhodes-greece-october-22-30-2022-proceedings-part-i-tiziana-margaria","title":"Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles","description":"\u003cp\u003eDiscover the groundbreaking insights in \"Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles\" by Tiziana Margaria. Published by Springer International Publishing AG in 2022, this comprehensive first edition spans 598 pages and offers a rich exploration of formal methods in the context of distributed computing, particularly for future railway systems. This four-volume set, identified as LNCS 13701-13704, compiles the significant contributions presented at the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2022) held in Rhodes, Greece. Ideal for researchers and practitioners alike, this book provides essential knowledge and innovative approaches to verification and validation, making it a must-have resource for anyone involved in the field. Enhance your understanding and application of formal methods with this authoritative guide.\u003c\/p\u003e","brand":"Tiziana Margaria","offers":[{"title":"Default Title","offer_id":52270090322262,"sku":"9783031198489","price":90.93,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031198489.jpg?v=1767804272"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-practice-springer-international-publishing-ag-9783031197611-11th-international-symposium-isola-2022-rhodes-greece-october-22-30-2022-proceedings-part-iv-tiziana-margaria","title":"Leveraging Applications of Formal Methods, Verification and Validation. Practice","description":"\u003cp\u003eDiscover the essential insights in \"Leveraging Applications of Formal Methods, Verification and Validation. Practice\" by Tiziana Margaria, published by Springer International Publishing AG in 2022. This comprehensive first edition spans 424 pages and is a vital resource for researchers and practitioners alike. It showcases the contributions from the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2022), held in the picturesque Rhodes, Greece. The collection focuses on the innovative applications of formal methods in distributed computing, particularly within future railway systems. Enhance your understanding of verification and validation practices that are shaping the future of technology. This book is a must-have for anyone interested in the intersection of formal methods and real-world applications.\u003c\/p\u003e","brand":"Tiziana Margaria","offers":[{"title":"Default Title","offer_id":52270090355030,"sku":"9783031197611","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031197611.jpg?v=1767804272"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-verification-principles-springer-nature-switzerland-ag-9783030613617-9th-international-symposium-on-leveraging-applications-of-formal-methods-isola-2020-rhodes-greece-october-20-30-2020","title":"Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles","description":"\u003cp\u003eDiscover the groundbreaking insights in \"Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles\" by Tiziana Margaria. This comprehensive volume, published by Springer Nature Switzerland AG in 2020, is part of the esteemed LNCS series, specifically volumes 12476 to 12478. Spanning an impressive 582 pages, this first edition captures the essence of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), which was originally scheduled to be held in Rhodes, Greece. Dive into the latest research and discussions surrounding formal methods, verification, and validation, making this an essential read for professionals and academics in the field. Enhance your understanding of these critical principles and their applications in real-world scenarios. Don't miss the opportunity to add this valuable resource to your collection!\u003c\/p\u003e","brand":"Tiziana Margaria","offers":[{"title":"Default Title","offer_id":52270090518870,"sku":"9783030613617","price":90.93,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030613617.jpg?v=1767804274"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-springer-nature-switzerland-ag-9783030891589-10th-international-symposium-on-leveraging-applications-of-formal-methods-isola-2021-rhodes-greece-october-17-29-2021-proceedings-tiziana-ma","title":"Leveraging Applications of Formal Methods, Verification and Validation","description":"\u003cp\u003eDiscover the comprehensive insights in \u003cstrong\u003eLeveraging Applications of Formal Methods, Verification and Validation\u003c\/strong\u003e by Tiziana Margaria, published by Springer Nature Switzerland AG in 2021. This first edition spans an impressive 504 pages and serves as a vital resource for understanding the contributions from the ISoLA 2021 associated events. The book compiles essential findings originally intended for ISoLA 2020, organized into four distinct volumes focusing on Verification Principles, Engineering Principles, Applications, and Tools and Trends. Ideal for researchers and practitioners alike, this publication delves into the critical methodologies that enhance the reliability and efficiency of software systems. Enhance your knowledge and expertise in formal methods with this essential addition to your library.\u003c\/p\u003e","brand":"Tiziana Margaria","offers":[{"title":"Default Title","offer_id":52270090551638,"sku":"9783030891589","price":72.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030891589.jpg?v=1767804275"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-adaptation-and-learning-springer-international-publishing-ag-9783031197581-11th-international-symposium-isola-2022-rhodes-greece-october-22-30-2022-proceedings-part-iii-tiziana-margaria","title":"Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning","description":"\u003cp\u003eDiscover the groundbreaking work of Tiziana Margaria in her latest publication, \u003cstrong\u003eLeveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning\u003c\/strong\u003e. Released in 2022 by Springer International Publishing AG, this first edition spans an impressive 474 pages and is a must-have for anyone interested in the field of formal methods. This four-volume set, identified as LNCS 13701-13704, compiles significant contributions presented at the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2022), held in the picturesque setting of Rhodes, Greece, during October and November 2022. Explore innovative formal methods specifically tailored for distributed computing and their application in future railway systems. This comprehensive resource is ideal for researchers, practitioners, and students eager to understand the latest advancements in verification and validation techniques. Enhance your knowledge and stay ahead in the ever-evolving landscape of formal methods with this essential book.\u003c\/p\u003e","brand":"Tiziana Margaria","offers":[{"title":"Default Title","offer_id":52270090617174,"sku":"9783031197581","price":72.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031197581.jpg?v=1767804274"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-applications-springer-nature-switzerland-ag-9783030614669-9th-international-symposium-on-leveraging-applications-of-formal-methods-isola-2020-rhodes-greece-october-20-30-2020-proceeding","title":"Leveraging Applications of Formal Methods, Verification and Validation: Applications","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Leveraging Applications of Formal Methods, Verification and Validation: Applications\" by Tiziana Margaria. This essential volume, published by Springer Nature Switzerland AG in 2020, serves as the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), originally scheduled for October 20–30, 2020, in Rhodes, Greece. With a comprehensive page count of 490, this first edition delves into the latest advancements in formal methods, verification, and validation, offering valuable applications for researchers and practitioners alike. Enhance your understanding of these critical areas in computer science and engineering with this authoritative collection of studies and findings. Ideal for professionals seeking to stay ahead in the field, this book is a must-have resource for anyone interested in the practical applications of formal methods.\u003c\/p\u003e","brand":"Tiziana Margaria","offers":[{"title":"Default Title","offer_id":52270090813782,"sku":"9783030614669","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030614669.jpg?v=1767804274"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-tools-and-trends-springer-nature-switzerland-ag-9783030837228-9th-international-symposium-on-leveraging-applications-of-formal-methods-isola-2020-rhodes-greece-october-20-30-2020-procee","title":"Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends,\" authored by Tiziana Margaria and published by Springer Nature Switzerland AG in 2021. This comprehensive volume, part of the four-volume set LNCS 12476 - 12479, presents the refereed proceedings from the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), originally scheduled for October 20–30, 2020, in beautiful Rhodes, Greece.\u003c\/p\u003e \n\n\u003cp\u003eSpanning 265 pages, this first edition delves into the latest tools and trends in formal methods, verification, and validation, making it an essential read for researchers and practitioners in the field. Explore the transformative potential of formal methods and enhance your understanding of their applications in various domains. Don't miss the opportunity to expand your knowledge with this invaluable resource!\u003c\/p\u003e","brand":"Tiziana Margaria","offers":[{"title":"Default Title","offer_id":52270091108694,"sku":"9783030837228","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030837228.jpg?v=1767804276"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-software-engineering-springer-international-publishing-ag-9783031197550-11th-international-symposium-isola-2022-rhodes-greece-october-22-30-2022-proceedings-part-ii-tiziana-margaria","title":"Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering,\" authored by Tiziana Margaria. Published by Springer International Publishing AG in 2022, this comprehensive volume spans 427 pages and represents the first edition of this essential work. \u003c\/p\u003e \u003cp\u003eThis four-volume set, part of the LNCS series (13701-13704), showcases the contributions from the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2022), held in the picturesque setting of Rhodes, Greece. Dive into the latest advancements in formal methods and their pivotal role in enhancing distributed computing, particularly in the context of future railway systems. \u003c\/p\u003e \u003cp\u003eWhether you are a researcher, practitioner, or student in software engineering, this book is an invaluable resource that bridges theory and practical application. Don't miss the opportunity to expand your knowledge and expertise in this vital area of technology.\u003c\/p\u003e","brand":"Tiziana Margaria","offers":[{"title":"Default Title","offer_id":52270091469142,"sku":"9783031197550","price":72.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031197550.jpg?v=1767804277"}],"url":"https:\/\/www.englishbook.fi\/collections\/tiziana-margaria.oembed","provider":"Bookshop","version":"1.0","type":"link"}