Gianluigi Zavattaro - Böcker
Formal Methods for Open Object-Based Distributed Systems
7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
552 kr
Skickas inom 10-15 vardagar
528 kr
Skickas inom 10-15 vardagar
Web Services and Formal Methods
Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
552 kr
Skickas inom 10-15 vardagar
Coordination Models and Languages
10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings
552 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
552 kr
Skickas inom 10-15 vardagar
508 kr
Skickas inom 10-15 vardagar
CONCUR 2009 - Concurrency Theory
20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
1 096 kr
Skickas inom 10-15 vardagar
Service-Oriented and Cloud Computing
First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings
508 kr
Skickas inom 10-15 vardagar