Suchergebnisse für "Tiziana Margaria/Bernhard Steffen"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Tiziana Margaria/Bernhard Steffen" gefunden.
Katalogsuche
Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11,2014, Proceedings, Part II, Lecture Notes in Computer Science 8803 - 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.Technologies for Mastering Change
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11,2014, Proceedings, Part I, Lecture Notes in Computer Science 8802 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 11200 - Theoretical Computer Science and General Issues
Tiziana Margaria/Susanne Graf/Kim G Larsen
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
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30,2022, Proceedings, Part II, Lecture Notes in Computer Science 13702
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
74,89 €
(inklusive MwSt.)
Lieferbar
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
Services and Visualization: Towards User-Friendly Design
ACos'98, VISUAL'98, AIN'97, Selected Papers, Lecture Notes in Computer Science 1385
Tiziana Margaria/Bernhard Steffen/Roland Rückert et al
Springer Verlag GmbH
53,49 €
(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
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
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15,2008, Proceedings, Communications in Computer and Information Science 17
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
160,49 €
(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. 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
