Ergebnisse filtern
-
- 39
- 3
-
- 2
- 10
- 7
- 14
- 4
- 3
- 1
- 1
-
- 33
- 9
-
- 42
-
- 42
-
- 42
- 1
Tiziana Margaria
-
Bouguettaya / Margaria / Krüger Service-Oriented Computing - ICSOC 2008
6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-89647-0Medium: Buch106,99 € (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 -
Margaria / Larsen / Graf Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-22347-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Legay Tools and Algorithms for the Construction and Analysis of Systems
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II1. Auflage 2017Verlag: SpringerISBN: 978-3-662-54579-9Medium: 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 -
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 -
Gnesi / Margaria Formal Methods for Industrial Critical Systems
A Survey of Applications1. Auflage 2012Verlag: John Wiley & SonsISBN: 978-1-118-45987-4Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)82,99 € (inkl. MwSt.)
sofort verfügbar -
Gnesi / Margaria Formal Methods for Industrial Critical Systems
A Survey of Applications1. Auflage 2012Verlag: WILEYISBN: 978-0-470-87618-3Medium: Buch104,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yi / Margaria Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41865-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part I1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-19848-9Medium: Buch90,94 € (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 -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03420-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Petrie / Zaremba / Margaria Semantic Web Services Challenge
Results from the First Year1. Auflage. Softcover version of original hardcover Auflage 2009Verlag: Springer USISBN: 978-1-4419-4440-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03426-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Melham / Margaria Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42541-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation: Applications
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20¿30, 2020, Proceedings, Part III1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-61466-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Petrie / Zaremba / Margaria Semantic Web Services Challenge
Results from the First Year2009Verlag: Springer USISBN: 978-0-387-72495-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria 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 IV1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-83722-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Legay Tools and Algorithms for the Construction and Analysis of Systems
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I1. Auflage 2017Verlag: SpringerISBN: 978-3-662-54576-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kofron / Kofron / Seceleanu Engineering of Computer-Based Systems
8th International Conference, ECBS 2023, Västerås, Sweden, October 16¿18, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-49251-8Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10¿14, 2016, Proceedings, Part I1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47165-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-88478-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abrahamsson / Baddoo / Margaria Software Process Improvement
2007Verlag: Springer-Verlag GmbHISBN: 978-3-540-74765-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20¿30, 2020, Proceedings, Part I1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-61361-7Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria 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, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-89158-9Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria 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 II2014Verlag: SpringerISBN: 978-3-662-45230-1Medium: Buch53,49 € (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 -
Margaria / Lamprecht Process Design for Natural Scientists
An Agile Model-Driven Approach2014Verlag: SpringerISBN: 978-3-662-45005-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification, and
1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16557-3Medium: Buch106,99 € (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 -
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. 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 / Baier / Margaria 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, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-51962-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification
1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16560-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria 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 I2014Verlag: SpringerISBN: 978-3-662-45233-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61042-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part III1. Auflage 2022Verlag: Springer Nature SwitzerlandISBN: 978-3-031-19758-1Medium: Buch74,89 € (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 I2012Verlag: SpringerISBN: 978-3-642-34025-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03423-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Petrie / Margaria / Lausen Semantic Web Services Challenge
Results from the First Year2009Verlag: Springer USISBN: 978-0-387-72496-6Medium: eBookFormat: PDF
Kopierschutz: Wasserzeichen (»Systemvoraussetzungen)149,79 € (inkl. MwSt.)
sofort verfügbar -
Gnesi / Margaria Formal Methods for Industrial Critical Systems
A Survey of Applications1. Auflage 2012Verlag: John Wiley & SonsISBN: 978-1-118-45986-7Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)82,99 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort