Bokus

Laurent Fribourg

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

  1. Control of Switching Systems by Invariance Analysis

    Control of Switching Systems by Invariance Analysis

    2013

  2. Computer Science Logic

    Computer Science Logic

    2001

  3. Control of Switching Systems by Invariance Analysis

    Control of Switching Systems by Invariance Analysis

    2013

  4. Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    2013

  5. Logic Program Synthesis and Transformation - Meta-Programming in Logic

    Logic Program Synthesis and Transformation - Meta-Programming in Logic

    1994