Su búsqueda recuperó 3 resultados.

Resultados
		Advances in exception handling techniques / Alexander Romanovsky ... [y otros.], (eds.) por Romanovsky, Alexander [editor]. Series Lecture notes in computer science ; 2022Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 A382. Agregar al carrito (remover)
		FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski, eds. por International Symposium of Formal Methods Europe (14 : 2006 : Hamilton, Canadá) \| Misra, Jayadev [editor] \| Nipkow, Tobias, 1958- [editor] \| Sekerinski, Emil, 1963- [editor]. Series Lecture notes in computer science ; 4085 \| Lecture notes in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 2006. Agregar al carrito (remover)
		Software process change : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006 : proceedings / Qing Wang ... [y otros.], eds. por SPW/ProSim 2006 (2006 : Shanghai, China) \| Wang, Qing, 1964 Jan. 29- [editor] \| International Software Process Workshop (2006 : Shanghai, China) \| International Workshop on Software Process Simulation and Modeling (2006 : Shanghai, China). Series Lecture notes in computer science ; 3966Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, 2006Acceso en línea: Restringido para suscriptores de SpringerLink Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.751 S68 2006. Agregar al carrito (remover)