Gianluigi Zavattaro

7 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

Details Grid — Show only ebooks?

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science)

by Mario Bravetti, Manuel Núñez, and Gianluigi Zavattaro First published in 2006 — 3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings

by Doug Lea and Gianluigi Zavattaro First published in 2008 — 1 edition

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo, Pierpaolo Degano, and Gianluigi Zavattaro First published in 2008 — 1 edition

Locate

My Reading Lists:

Create a new list
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

by Mario Bravetti, Leila Kloul, and Gianluigi Zavattaro First published in 2005 — 1 edition

Locate

My Reading Lists:

Create a new list
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

by Marco Bernardo, Luca Padovani, and Gianluigi Zavattaro First published in 2009 — 1 edition

Locate

My Reading Lists:

Create a new list
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

by Mario Bravetti and Gianluigi Zavattaro First published in 2009 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Preview Book
×Close

CONCUR 2009 Concurrency Theory Lecture Notes in Computer Science

by Gianluigi Zavattaro First published in 2009 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7342662A

Links outside Open Library

No links yet. Add one?

History

Created October 14, 2016
1 revision

Download catalog record: RDF / JSON

October 14, 2016

Created by Mek

Added new book.

Gianluigi Zavattaro

7 works Add another?

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science)

Create a new list

Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings

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

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

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

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

Preview Book

CONCUR 2009 Concurrency Theory Lecture Notes in Computer Science

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History