Bokus

Martin Leucker

Visar alla böcker från författaren Martin Leucker. Handla med fri frakt och snabb leverans.

  1. Runtime Verification

    Runtime Verification

    2018

  2. Formal Methods

    Formal Methods

    2023

  3. Theoretical Aspects of Computing - ICTAC 2015

    Theoretical Aspects of Computing - ICTAC 2015

    2015

  4. Model-Based Testing of Reactive Systems

    Model-Based Testing of Reactive Systems

    2005

  5. Formal Methods in Outer Space

    Formal Methods in Outer Space

    2021

  6. Formal Methods in Outer Space

    Formal Methods in Outer Space

    2021

  7. Formal Methods: Applications and Technology

    Formal Methods: Applications and Technology

    2007

  8. Theoretical Aspects of Computing - ICTAC 2009

    Theoretical Aspects of Computing - ICTAC 2009

    2009

  9. Theoretical Aspects of Computing - ICTAC 2009

    Theoretical Aspects of Computing - ICTAC 2009

    2009