| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, ... Notes in Computer Science, Band 2144) | | 978-3-540-42541-0 | 2008 | Tom Melham |
| Formal Methods for Industrial Critical Systems: A Survey of Applications | | 978-0-470-87618-3 | 2012 | Stefania Gnesi |
| Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October/November 2004, Revised Selected Papers: ... Notes in Computer Science , Band 4313) | | 978-3-540-48928-3 | 2002 |
| Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Notes in Computer Science , Band 6415) | | 978-3-642-16557-3 | 2010 | Bernhard Steffen |
| Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Notes in Computer Science, Band 6416) | | 978-3-642-16560-3 | 2010 | " |
| Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610) | | 978-3-642-34031-4 | 2012 | " |
| Leveraging Applications of Formal Methods, Verification, and Validation | | 978-3-642-34780-1 | 2012 | Reiner Hähnle · Jens Knoop · Dietmar Schreiner · Bernhard Steffen |
| 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 II | | 978-3-319-47170-9 | 2017 | Bernhard Steffen |
| Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA ... Notes in Computer Science , Band 9953) | | 978-3-319-47168-6 | 2016 | " |
| Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11246) | | 978-3-030-03423-8 | 2018 | " |
| Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I | | 978-3-319-47167-9 | 2017 | " |
| Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Notes in Computer Science, Band 9952) | | 978-3-319-47165-5 | 2016 | " |
| Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11247) | | 978-3-030-03426-9 | 2018 | " |
| Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... October 17-18, 2011. Revised Selected Papers | | 978-3-642-34782-5 | 2012 | Reiner Hähnle · Jens Knoop |
| Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... in Computer Science , Band 11244) | | 978-3-030-03417-7 | 2018 | Bernhard Steffen |
| Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803) | | 978-3-662-45230-1 | 2014 | " |
| Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... Notes in Computer Science, Band 8802) | | 978-3-662-45233-2 | 2014 | " |
| Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, ... and Information Science , Band 17) | | 978-3-540-88478-1 | 2008 | " |
| Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... Notes in Computer Science, Band 11245) | | 978-3-030-03420-7 | 2018 | " |
| Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday | | 978-3-030-22347-2 | 2019 | Susanne Graf · Kim G. Larsen |
| Process Design for Natural Scientists: An Agile Model-Driven Approach | | 978-3-662-45005-5 | 2014 | Anna-Lena Lamprecht |
| Semantic Web Services Challenge: Results from the First Year | | 978-0-387-72495-9 | 2008 | Charles J. Petrie · Holger Lausen · Michal Zaremba |
| Service-Oriented Computing - ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings | | 978-3-540-89647-0 | 2008 | Athman Bouguettaya · Ingolf Krüger |
| Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers | | 978-3-540-64367-8 | 2008 | Bernhard Steffen · Roland R¿¿ckert · Joachim Posegga |
| SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... Notes in Computer Science, Band 10139) | | 978-3-319-51962-3 | 2017 | Bernhard Steffen · Christel Baier · Mark van den Brand · Johann Eder · Mike Hinchey |
| Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings | | 978-3-540-74765-9 | 2007 | Pekka Abrahamsson · Nathan Baddoo · Richard Messnarz |
| Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... Notes in Computer Science , Band 2031) | | 978-3-540-41865-8 | 2009 | Wang Yi |
| Tools and Algorithms for the Construction and Analysis of Systems | | 978-3-662-54576-8 | 2017 | Axel Legay |
| Tools and Algorithms for the Construction and Analysis of Systems | | 978-3-662-54579-9 | 2017 | " |
| Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... Notes in Computer Science , Band 1019) | | 978-3-540-60630-7 | 2008 | Kim G. Larsen · Bernhard Steffen · W. Rance Cleaveland · Ed Brinksma |
| Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... Notes in Computer Science , Band 1055) | | 978-3-540-61042-7 | 2008 | Bernhard Steffen |
| Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996: Proceedings | | 978-0-387-61042-9 | 1996 | Germany) Tacas '9 1996 Passau · Bernhard Steffen |