Gianluigi Zavattaro

ספרים שבהם Gianluigi Zavattaro מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Web services and formal methodsMario Bravetti

Web services and formal methods

Mario Bravetti · 2006

Formal Methods for Web ServicesMarco Bernardo

Formal Methods for Web Services

Marco Bernardo · 2009

CONCUR 2009 - Concurrency TheoryMario Bravetti

CONCUR 2009 - Concurrency Theory

Mario Bravetti · 2009

Coordination Models and LanguagesDoug Lea

Coordination Models and Languages

Doug Lea · 2008

Formal Methods for Computational Systems BiologyMarco Bernardo

Formal Methods for Computational Systems Biology

Marco Bernardo · 2008

Formal Techniques for Computer Systems and Business ProcessesMario Bravetti

Formal Techniques for Computer Systems and Business Processes

Mario Bravetti · 2005