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)
		Computational Intelligence and Intelligent Systems [Recurso electrónico] : 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009. Proceedings / edited by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu. por Cai, Zhihua \| Li, Zhenhua \| Kang, Zhuo \| Liu, Yong \| SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 51Tipo 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)

Ajustar la búsqueda