| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday | Taschenbuch | | 978-3-319-23533-2 | 2015 | Lev D. Beklemishev · Andreas Blass · Nachum Dershowitz · Bernd Finkbeiner |
| FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings | " | | 978-3-642-21436-3 | 2011 | Michael Butler |
| Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings | Paperback | | 978-3-662-17403-6 | 2014 | Jim Davies · Mike Barnett |
| Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... Notes in Computer Science , Band 3308) | Taschenbuch | | 978-3-540-23841-6 | 2008 | Jim Davies · Mike Barnett |
| Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer | Paperback | | 978-0-521-68761-4 | 2007 | Jonathan Jacky · Margus Veanes · Colin Campbell |
| Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer | Hardcover | | 978-0-521-88655-0 | 2007 | Jonathan Jacky · Margus Veanes · Colin Campbell |
| Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings | Taschenbuch | | 978-3-319-11652-5 | 2014 | Juergen Dingel · Isidro Ramos · Silvia Abrahao · Emilio Insfran |