Tiziana Margaria – författare
2 139 kr
Skickas inom 10-15 vardagar
1 409 kr
Skickas inom 7-10 vardagar
2 139 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
719 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
719 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
719 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
719 kr
Skickas inom 10-15 vardagar
Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
719 kr
Skickas inom 10-15 vardagar
1 009 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
1 009 kr
Skickas inom 10-15 vardagar
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
1 009 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
929 kr
Skickas inom 10-15 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
1 219 kr
Skickas inom 10-15 vardagar
Engineering of Computer-Based Systems
8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
929 kr
Skickas inom 5-8 vardagar
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
1 139 kr
Skickas inom 5-8 vardagar
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
1 079 kr
Skickas inom 10-15 vardagar
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
1 149 kr
Skickas inom 10-15 vardagar
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
939 kr
Skickas inom 5-8 vardagar
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
719 kr
Skickas inom 5-8 vardagar
1 429 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
SOFSEM 2017: Theory and Practice of Computer Science
43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
719 kr
Skickas inom 10-15 vardagar
Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
719 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
719 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
719 kr
Skickas inom 10-15 vardagar