| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings | Taschenbuch | | 978-3-642-30884-0 | 2012 | John Derrick · John Fitzgerald · Sarfraz Khurshid · Michael Leuschel · Steve Reeves · Elvinia Riccobene |
| Critical Systems: Formal Methods and Automated Verification | " | | 978-3-319-45942-4 | 2016 | Maurice H. ter Beek · Alexander Knapp |
| Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings | Paperback | | 978-3-319-45944-8 | 2016 | Maurice H. ter Beek · Alexander Knapp |
| FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings | " | | 978-3-319-48990-2 | 2017 | John Fitzgerald · Constance Heitmeyer · Anna Philippou |
| FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings | Taschenbuch | | 978-3-319-48988-9 | 2016 | John Fitzgerald · Constance Heitmeyer · Anna Philippou |
| FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings | " | | 978-3-540-40828-4 | 2003 | Keijiro Araki · Dion Mandrioli |
| Formal Methods for Industrial Critical Systems: A Survey of Applications | Paperback | | 978-0-470-87618-3 | 2012 | Tiziana Margaria |
| Fundamental Approaches to Software Engineering | Taschenbuch | | 978-3-642-54803-1 | 2014 | Arend Rensink |
| Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings | " | | 978-3-642-30728-7 | 2012 | John Derrick · Diego Latella · Helen Treharne |