| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November ... Notes in Computer Science, Band 8829) | Taschenbuch | | 978-3-319-11736-2 | 2014 | Jun Pang |
| Formal Systems Specification: The RPC-Memory Specification Case Study | " | | 978-3-540-61984-0 | 2008 | Manfred Broy · Katharina Spies |
| Integrated Formal Methods: 8th International Conference, I.F.M. 2010, Nancy, France, October 11-14, 2010, Proceedings | " | | 978-3-642-16264-0 | 2010 | Dominique Mery |
| Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings | " | | 978-3-319-43143-7 | 2016 | Jasmin Christian Blanchette |
| Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings | Paperback | | 978-3-319-43145-1 | 2016 | " |
| Modeling and Verification of Real-time Systems | Hardcover | | 978-1-84821-013-4 | 2008 | Nicolas Navet |
| Temporal Logic and State Systems | Taschenbuch | | 978-3-642-08680-9 | 2010 | Fred Kröger |
| Temporal Logic and State Systems | Gebunden | | 978-3-540-67401-6 | 2008 | " |