Akademibokhandeln

Maurice H. ter Beek – författare

Visar alla böcker från Maurice H. ter Beek. Handla online eller reservera direkt i butik.

  1. Formal Methods – The Next 30 Years

    Formal Methods – The Next 30 Years

    2019

  2. From Software Engineering to Formal Methods and Tools, and Back

    From Software Engineering to Formal Methods and Tools, and Back

    2019

  3. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    2020

  4. Integrated Formal Methods

    Integrated Formal Methods

    2022

  5. Coordination Models and Languages

    Coordination Models and Languages

    2022

  6. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    2025

  7. Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Applications

    2025

  8. Journeys Between Formal Methods and the Railway Industry

    Journeys Between Formal Methods and the Railway Industry

    2026

  9. Critical Systems: Formal Methods and Automated Verification

    Critical Systems: Formal Methods and Automated Verification

    2016

  10. Architecting Dependable Systems VI

    Architecting Dependable Systems VI

    2009

  11. Web Services and Formal Methods

    Web Services and Formal Methods

    2013