Gianluigi Zavattaro

Список авторов с биографиями, датами жизни и будущими подборками всех их книг.

Книги автора

6

Formal Methods for Web Services

Formal Methods for Web Services

Formal Techniques for Computer Systems and Business Processes

Formal Techniques for Computer Systems and Business Processes

Formal Methods for Computational Systems Biology

Formal Methods for Computational Systems Biology

Coordination Models and Languages

Coordination Models and Languages

Web services and formal methods

Web services and formal methods

CONCUR 2009 - Concurrency Theory

CONCUR 2009 - Concurrency Theory