Ergebnisse filtern
-
- 42
-
- 1
- 7
- 8
- 13
- 13
-
- 3
- 36
- 3
-
- 42
-
- 42
-
- 1
-
- 42
-
Levi / Steffen Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20803-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II2012Verlag: SpringerISBN: 978-3-642-34031-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Margaria 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 II1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47168-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Margaria 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 I2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-73708-4Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hinchey / Steffen The Combined Power of Research, Education, and Dissemination
Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-73886-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II1. Auflage 2022Verlag: Springer Nature SwitzerlandISBN: 978-3-031-19755-0Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV1. Auflage 2022Verlag: Springer Nature SwitzerlandISBN: 978-3-031-19761-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Margaria 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 II1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-61469-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Woeginger / Steffen Computing and Software Science
State of the Art and Perspectives1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-319-91907-2Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03417-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III2024Verlag: Palgrave MacmillanISBN: 978-3-031-75379-4Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Steffen / Olderog Correct System Design
Recent Insights and Advances1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66624-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Graf / Steffen / Pettersson Real Time and Such
Essays Dedicated to Wang Yi to Celebrate His Scientific Career2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-73750-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Posegga / Steffen Services and Visualization: Towards User-Friendly Design
ACos'98, VISUAL'98, AIN'97, Selected Papers1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64367-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Beyer / Steffen / Huisman Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III1. Auflage 2019Verlag: Springer Nature SwitzerlandISBN: 978-3-030-17501-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hähnle / Knoop / Steffen Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-34780-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Brinksma / Cleaveland / Steffen Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60630-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
