Gianluigi Zavattaro – författare
Visar alla böcker från författaren Gianluigi Zavattaro. Handla med fri frakt och snabb leverans.
16 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
Av Martin Steffen, Gianluigi Zavattaro
Häftad, 2005
569 kr
Lägg i varukorg
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15-17, 2005. The eventwasthe seventhmeeting ofthis conferenceseries,whichis held roughly- …
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
Av Mario Bravetti, Leila Kloul m. fl.
Häftad, 2005
543 kr
Lägg i varukorg
This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit' ede VersaillesSaint-Quentin-en-Yvelines,V- sailles, France, 1-3 September 2005. EPEW (European Performance Engineering Workshop) and WS-FM (Int- national Workshop on Web Services and Formal …
Formal Methods for Open Object-Based Distributed Systems
7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Av Gianluigi Zavattaro, Martin Steffen
E-bok, 2005
732 kr
Lägg i varukorg
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
Av Gianluigi Zavattaro, Leila Kloul m. fl.
E-bok, 2005
755 kr
Lägg i varukorg
Web Services and Formal Methods
Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Av Mario Bravetti, Manuel Núñez m. fl.
Häftad, 2006
569 kr
Lägg i varukorg
Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such …
Web Services and Formal Methods
Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Av Gianluigi Zavattaro, Manuel Nunez m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
Coordination Models and Languages
10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings
Av Doug Lea, Gianluigi Zavattaro
Häftad, 2008
569 kr
Lägg i varukorg
Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, recon?gurable and heterogeneous components. New models, architectures, languages, and veri?cation techniques are necessary to cope with thecomplexityinducedbythedemandsoftoday’ssoftwaredevelopment. COOR- …
Coordination Models and Languages
10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings
Av Gianluigi Zavattaro, Doug Lea
E-bok, 2008
755 kr
Lägg i varukorg
Modern information systems rely increasingly on combining concurrent, d- tributed, real-time, recon?gurable and heterogeneous components. New models, architectures, languages, and veri?cation techniques are necessary to cope with thecomplexityinducedbythedemandsoftoday’ssoftwaredevelopment. COOR- …
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
Av Marco Bernardo, Pierpaolo Degano m. fl.
Häftad, 2008
569 kr
Lägg i varukorg
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience …
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
Av Gianluigi Zavattaro, Pierpaolo Degano m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
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
Av Marco Bernardo, Luca Padovani m. fl.
Häftad, 2009
522 kr
Lägg i varukorg
This volume presents the set of papers accompanying the lectures of the 9th International School on Formal Methods for the Design of Computer, Com- nication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience …
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
Av Gianluigi Zavattaro, Luca Padovani m. fl.
E-bok, 2009
690 kr
Lägg i varukorg
CONCUR 2009 - Concurrency Theory
20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
Av Mario Bravetti, Gianluigi Zavattaro
Häftad, 2009
1128 kr
Lägg i varukorg
This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1–4, 2009. The purpose of the CONCUR conference is to bring together researchers, developers, and s- dentsinordertoadvancethetheoryofconcurrencyandpromoteitsapplications. This …
CONCUR 2009 - Concurrency Theory
20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
Av Gianluigi Zavattaro, Mario Bravetti
E-bok, 2009
1455 kr
Lägg i varukorg
This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1–4, 2009. The purpose of the CONCUR conference is to bring together researchers, developers, and s- dentsinordertoadvancethetheoryofconcurrencyandpromoteitsapplications. This …
Service-Oriented and Cloud Computing
First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings
Av Flavio De Paoli, Ernesto Pimentel m. fl.
Häftad, 2012
523 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First European Conference on Service-Oriented and Cloud Computing, ESOCC, held in Bertinoro, Italy, in September 2012. The 12 full papers, 3 short papers and 3 poster papers were carefully reviewed and selected from 57 submissions. The volume …
Service-Oriented and Cloud Computing
First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings
Av Gianluigi Zavattaro, Ernesto Pimentel m. fl.
E-bok, 2012
652 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First European Conference on Service-Oriented and Cloud Computing, ESOCC, held in Bertinoro, Italy, in September 2012. The 12 full papers, 3 short papers and 3 poster papers were carefully reviewed and selected from 57 submissions. The volume …
