Bokus

Kim Guldstrand Larsen

Visar alla böcker från författaren Kim Guldstrand Larsen. Handla med fri frakt och snabb leverans.

  1. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    2019

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

    Tools and Algorithms for the Construction and Analysis of Systems

    2021

  3. Reachability Problems

    Reachability Problems

    2016

  4. Reactive Systems

    Reactive Systems

    2007

  5. Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theories, Tools, and Applications

    2017

  6. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    2015