Your search returned 2 results.

Results
	1.	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 Bernardo, Marco Degano, Pierpaolo Zavattaro, Gianluigi SpringerLink (Online service) 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. Place hold Add to cart (remove)
	2.	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 Lea, Doug Zavattaro, Gianluigi SpringerLink (Online service) 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. Place hold Add to cart (remove)

Refine your search