Maurice H ter Beek | Akateeminen Kirjakauppa

Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025,

ter Beek, Maurice H.; Teixeira, Leopoldo
Springer
2025
Pehmeäkantinen kirja

78,50 €

Formal Methods – The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

ter Beek, Maurice H.; McIver, Annabelle; Oliveira, José N.
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,10 €

Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020

ter Beek, Maurice H.; Ničković, Dejan
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

ter Beek, Maurice H.; Monahan, Rosemary
Springer
2022
Pehmeäkantinen kirja

76,00 €

Architecting Dependable Systems VI

de Lemos, Rogério; Fabre, Jean-Charles; Gacek, Cristina; Gadducci, Fabio; ter Beek, Maurice H.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,10 €

Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selecte

ter Beek, Maurice H.; Lohmann, Niels
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

47,20 €

From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th

ter Beek, Maurice H.; Fantechi, Alessandro; Semini, Laura
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,10 €

Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial

ter Beek, Maurice H.; Gnesi, Stefania; Knapp, Alexander
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Coordination Models and Languages : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th

ter Beek, Maurice H.; Sirjani, Marjan
Springer
2022
Pehmeäkantinen kirja

120,90 €

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 6th International C

ter Beek, Maurice H.; Collart-Dutilleul, Simon; Lecomte, Thierry
Springer Nature Switzerland AG
2025
Pehmeäkantinen kirja

78,50 €

Journeys Between Formal Methods and the Railway Industry : Essays Dedicated to Alessandro Fantechi on the Occasion of His

ter Beek, Maurice H.; Gnesi, Stefania; Haxthausen, Anne E.; Semini, Laura
Springer
2026
Pehmeäkantinen kirja

98,90 €