Su búsqueda obtuvo 2 resultados.

Resultados
		Leveraging Applications of Formal Methods, Verification, and Validation [Recurso electrónico] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / edited by Reiner HÃ{u8BAC}e, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen. por HÃ{u8BAC}e, Reiner \| Knoop, Jens \| Margaria, Tiziana \| Schreiner, Dietmar \| Steffen, Bernhard. Series Communications in Computer and Information ScienceTipo de material: Texto; Formato: electrónico ; Forma literaria: No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Trends in Intelligent Robotics, Automation, and Manufacturing [Recurso electrónico] : First International Conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012. Proceedings / edited by S. G. Ponnambalam, Jussi Parkkinen, Kuppan Chetty Ramanathan. por Ponnambalam, S. G \| Parkkinen, Jussi \| Ramanathan, Kuppan Chetty. Series Communications in Computer and Information Science ; 330Tipo de material: Texto; Formato: electrónico ; Forma literaria: No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Con tecnología Koha