Bokus

Gianluigi Zavattaro

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

  1. Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    2005

  2. Formal Techniques for Computer Systems and Business Processes

    Formal Techniques for Computer Systems and Business Processes

    2005

  3. Web Services and Formal Methods

    Web Services and Formal Methods

    2006

  4. Coordination Models and Languages

    Coordination Models and Languages

    2008

  5. Formal Methods for Web Services

    Formal Methods for Web Services

    2009

  6. Formal Methods for Computational Systems Biology

    Formal Methods for Computational Systems Biology

    2008

  7. CONCUR 2009 - Concurrency Theory

    CONCUR 2009 - Concurrency Theory

    2009

  8. Formal Methods for Computational Systems Biology

    Formal Methods for Computational Systems Biology

    2008

  9. Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    2012