Your search returned 2 results.

Results
	1.	SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings / edited by Emmanuel Gaudin, Elie Najm, Rick Reed. by Gaudin, Emmanuel Najm, Elie Reed, Rick SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4745 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.S35 G38 2007. Place hold Add to cart (remove)
	2.	Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings / edited by Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge. by Najm, Elie Pradat-Peyre, Jean-François Donzeau-Gouge, Véronique Viguié SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4229 Edition: 1a ed. 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: QA76.9.F67 N34 2006. Place hold Add to cart (remove)

Refine your search