Bokus

Marsha Chechik

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

  1. Formal Methods

    Formal Methods

    2023

  2. Verified Software. Theories, Tools, and Experiments

    Verified Software. Theories, Tools, and Experiments

    2016

  3. CONCUR 2008 - Concurrency Theory

    CONCUR 2008 - Concurrency Theory

    2008

  4. Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

    Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

    2023

  5. Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    2009

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

    Tools and Algorithms for the Construction and Analysis of Systems

    2016