Bokus

Mario Bravetti

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

  1. Web Services and Formal Methods

    Web Services and Formal Methods

    2006

  2. Formal Techniques for Computer Systems and Business Processes

    Formal Techniques for Computer Systems and Business Processes

    2005

  3. CONCUR 2009 - Concurrency Theory

    CONCUR 2009 - Concurrency Theory

    2009

  4. Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    2013