Tiziana Margaria – författare
1 657 kr
Skickas inom 10-15 vardagar
1 086 kr
Skickas inom 5-8 vardagar
1 657 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
557 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
557 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
557 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
557 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
557 kr
Skickas inom 10-15 vardagar
940 kr
Skickas inom 10-15 vardagar
556 kr
Skickas inom 10-15 vardagar
556 kr
Skickas inom 10-15 vardagar
557 kr
Skickas inom 10-15 vardagar
777 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
777 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
777 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
722 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
942 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
713 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
883 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
832 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
887 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
730 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
555 kr
Skickas inom 5-8 vardagar
1 107 kr
Skickas inom 10-15 vardagar
557 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
557 kr
Skickas inom 10-15 vardagar
1 107 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
557 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
556 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.
556 kr
Skickas inom 10-15 vardagar