Su búsqueda obtuvo 2 resultados.

Resultados
		Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana \| Steffen, Bernhard \| SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 17Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Advances in Software Engineering [Recurso electrónico] : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia AbrahÃ£o. por Å{uC119}zak, Dominik \| Kim, Tai-hoon \| Kiumi, Akingbehin \| Jiang, Tao \| Verner, June \| AbrahÃ£o, Silvia \| SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 59Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Con tecnología Koha