Your search returned 2 results.

Results
	1.	Dependable Computing [electronic resource] : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings / edited by Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais Assis Silva. by Maziero, Carlos Alberto Gabriel Silva, João Andrade, Aline Maria Santos Assis Silva, Flávio Morais SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3747 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.F3 M39 2005. Place hold Add to cart (remove)
	2.	Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / edited by Martin Leucker. by Leucker, Martin SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5289 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer 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 L48 2008. Place hold Add to cart (remove)

Refine your search