Gianluigi Zavattaro - Böcker

Visar alla böcker från författaren Gianluigi Zavattaro.

8 produkter

Kategorier

8 produkter

Formal Methods for Open Object-Based Distributed Systems

7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

AvMartin Steffen,Gianluigi Zavattaro

Häftad, Engelska, 2005

719 kr

Skickas inom 10-15 vardagar

Formal Techniques for Computer Systems and Business Processes

European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

AvMario Bravetti,Leila Kloul m. fl.

Häftad, Engelska, 2005

719 kr

Skickas inom 10-15 vardagar

Web Services and Formal Methods

Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

AvMario Bravetti,Manuel Núñez m. fl.

Häftad, Engelska, 2006

719 kr

Skickas inom 10-15 vardagar

Coordination Models and Languages

10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings

AvDoug Lea,Gianluigi Zavattaro

Häftad, Engelska, 2008

719 kr

Skickas inom 10-15 vardagar

Formal Methods for Computational Systems Biology

8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

AvMarco Bernardo,Pierpaolo Degano m. fl.

Häftad, Engelska, 2008

719 kr

Skickas inom 10-15 vardagar

Formal Methods for Web Services

9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

AvMarco Bernardo,Luca Padovani m. fl.

Häftad, Engelska, 2009

659 kr

Skickas inom 10-15 vardagar