کتاب‌های Maurice H. ter Beek - BookPine

Coordination Models and Languages

Coordination Models and Languages

Maurice H. ter Beek

Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference ... Notes in Computer Science Book 13271)

Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference ... Notes in Computer Science Book 13271)

Maurice H. ter Beek

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

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

Maurice H. ter Beek

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

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

Maurice H. ter Beek

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

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

Maurice H. ter Beek

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

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

Maurice H. ter Beek

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

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

Maurice H. ter Beek

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... Systems, FMICS-AVoCS 2016, Pisa, Italy,

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... Systems, FMICS-AVoCS 2016, Pisa, Italy,

Maurice H. ter Beek

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

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

Maurice H. ter Beek

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th ... Notes in Computer Science Book 9933)

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th ... Notes in Computer Science Book 9933)

Maurice H. ter Beek

Web Services and Formal Methods (9th International Workshop, WS-FM 2012): Revised Selected Papers

Web Services and Formal Methods (9th International Workshop, WS-FM 2012): Revised Selected Papers

Maurice H. ter Beek

Architecting Dependable Systems VI

Architecting Dependable Systems VI

Rogério de Lemos