Bokus

Yassine Lakhnech

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

  1. Concurrency Verification

    Concurrency Verification

    2012

  2. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

    Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

    2004

  3. Tool Support for System Specification, Development and Verification

    Tool Support for System Specification, Development and Verification

    1999

  4. From Programs to Systems - The Systems Perspective in Computing

    From Programs to Systems - The Systems Perspective in Computing

    2014