Your search returned 5 results.

Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro. by

Series: Lecture Notes in Computer Science ; 5016

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B47637 2008.

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings / edited by Martin Steffen, Gianluigi Zavattaro. by

Series: Lecture Notes in Computer Science ; 3535

Edition: 1a ed.

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 S74 2005.

Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro. by

Series: Lecture Notes in Computer Science ; 4184

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.88813 B73 2006.

Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by Doug Lea, Gianluigi Zavattaro. by

Series: Lecture Notes in Computer Science ; 5052

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 L43 2008.

Formal Techniques for Computer Systems and Business Processes [electronic resource] : 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 / edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro. by

Series: Lecture Notes in Computer Science ; 3670 | Lecture Notes in Computer Science ; 3670

Edition: 1a ed.

Material type:

Computer file; Format: electronic

Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005

In: Springer eBooks

Online resources:

Click here to access online

Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.E94 B73 2005.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 5 results.