Suchergebnisse für "Tiziana Margaria/Bernhard Steffen"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Tiziana Margaria/Bernhard Steffen" gefunden.
Katalogsuche
Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29,1996, Proceedings., Lecture Notes in Computer Science 1055
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,2010, Proceedings, Part II, Lecture Notes in Computer Science 6416 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,2010, Proceedings, Part I, Lecture Notes in Computer Science 6415 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
106,99 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9,2018, Proceedings, Part IV, Lecture Notes in Computer Science 11247 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9,2018, Proceedings, Part III, Lecture Notes in Computer Science 11246 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9,2018, Proceedings, Part II, Lecture Notes in Computer Science 11245 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9,2018, Proceedings, Part I, Lecture Notes in Computer Science 11244 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31,2024, Proceedings, Part V, Lecture Notes in Computer Science 15223
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
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, Lecture Notes in Computer Science 15222
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
70,61 €
(inklusive MwSt.)
Lieferbar
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, Lecture Notes in Computer Science 15221
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
85,59 €
(inklusive MwSt.)
Lieferbar
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, Lecture Notes in Computer Science 15219
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
85,59 €
(inklusive MwSt.)
Lieferbar
The Combined Power of Research, Education, and Dissemination
Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday, Lecture Notes in Computer Science 15240
Mike Hinchey/Bernhard Steffen
Springer Verlag GmbH
80,24 €
(inklusive MwSt.)
Lieferbar
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, Lecture Notes in Computer Science 15220
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
80,24 €
(inklusive MwSt.)
Lieferbar
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, Lecture Notes in Computer Science 13036 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
74,89 €
(inklusive MwSt.)
Lieferbar
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, Lecture Notes in Computer Science 12479 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18,2012, Proceedings, Part II, Lecture Notes in Computer Science 7610 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18,2012, Proceedings, Part I, Lecture Notes in Computer Science 7609 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
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, Lecture Notes in Computer Science 13703
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
74,89 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30,2022, Proceedings, Part IV, Lecture Notes in Computer Science 13704
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
69,54 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30,2022, Proceedings, Part I, Lecture Notes in Computer Science 13701
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
90,94 €
(inklusive MwSt.)
Lieferbar
