Tiziana Margaria – författare
Visar alla böcker från författaren Tiziana Margaria.
49 produkter
Semantic Web Services Challenge
Results from the First Year
Av Charles J. Petrie, Tiziana Margaria m. fl.
Inbunden, 2008
2169 kr
Lägg i varukorg
Formal Methods for Industrial Critical Systems
A Survey of Applications
Av Stefania Gnesi, Tiziana Margaria
Häftad, 2012
1479 kr
Lägg i varukorg
Semantic Web Services Challenge
Results from the First Year
Av Charles J. Petrie, Tiziana Margaria m. fl.
Häftad, 2010
2169 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2018
729 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2018
729 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2018
729 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2018
729 kr
Lägg i varukorg
Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Av Tiziana Margaria, Susanne Graf m. fl.
Häftad, 2019
729 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2020
1229 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation: Applications
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2020
729 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2020
729 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2021
729 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2021
1019 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2022
1019 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2022
1019 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2022
949 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2022
1239 kr
Lägg i varukorg
Engineering of Computer-Based Systems
8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
Av Jan Kofroň, Tiziana Margaria m. fl.
Häftad, 2023
949 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2024
1159 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2024
1089 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2024
1159 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2024
959 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2024
729 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part I
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2026
589 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems
13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part II
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2026
589 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts
13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part III
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2026
589 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI
13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part IV
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2026
589 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems
13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part V
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2026
589 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2016
1449 kr
Lägg i varukorg
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Av Tiziana Margaria, Bernhard Steffen
Häftad, 2016
729 kr
Lägg i varukorg