ter Beek, Maurice H. books & textbook
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings (Lecture Notes in Computer Science)
ter Beek, Maurice H. Monahan, Rosemary
Springer /2022-06-01 Paperback / 392 Pages
isbn-10: 3031077261 / isbn-13: 9783031077265
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Programming and Software Engineering)
ter Beek, Maurice H. Lohmann, Niels
Springer /2013-04-25 Paperback / 161 Pages
isbn-10: 3642382290 / isbn-13: 9783642382291
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... (Lecture Notes in Computer Science, 9933)
ter Beek, Maurice H. Gnesi, Stefania Knapp, Alexander
Springer /2016-09-14 Paperback / 263 Pages
isbn-10: 3319459422 / isbn-13: 9783319459424
Architecting Dependable Systems VI (Lecture Notes in Computer Science, 5835)
de Lemos, Rogério Fabre, Jean-Charles Gacek, Cristina Gadducci, Fabio ter Beek, Maurice H.
Springer /2009-11-02 Paperback / 347 Pages
isbn-10: 3642102476 / isbn-13: 9783642102479
Coordination Models and Languages (Lecture Notes in Computer Science)
ter Beek, Maurice H. Sirjani, Marjan
Springer /2022-07-06 Paperback / 256 Pages
isbn-10: 3031081455 / isbn-13: 9783031081453
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings (Programming and Software Engineering)
ter Beek, Maurice H. Ničković, Dejan
Springer /2020-08-29 Paperback / 316 Pages
isbn-10: 3030582973 / isbn-13: 9783030582975
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)
ter Beek, Maurice H. Fantechi, Alessandro Semini, Laura
Springer /2019-09-14 Paperback / 588 Pages
isbn-10: 3030309843 / isbn-13: 9783030309848
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Programming and Software Engineering)
ter Beek, Maurice H. McIver, Annabelle Oliveira, José N.
Springer /2019-09-15 Paperback / 796 Pages
isbn-10: 303030941X / isbn-13: 9783030309411
