Akademibokhandeln

Marieke Huisman – författare

Visar alla böcker från Marieke Huisman. Handla online eller reservera direkt i butik.

  1. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    2020

  2. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    2019

  3. Concise Guide to Software Verification

    Concise Guide to Software Verification

    2023

  4. Formal Methods

    Formal Methods

    2021

  5. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    2022

  6. Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Objects, Components, and Systems

    2023

  7. Tests and Proofs

    Tests and Proofs

    2024

  8. Integrated Formal Methods

    Integrated Formal Methods

    2016

  9. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    2005

  10. Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    2017