Su búsqueda retornó 2 resultados.

Resultados
		Automated Technology for Verification and Analysis [recurso electrónico] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings / edited by Tevfik Bultan, Pao-Ann Hsiung. por Bultan, Tevfik [editor.] \| Hsiung, Pao-Ann [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6996Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Web Services and Formal Methods [recurso electrónico] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / edited by Mario Bravetti, Tevfik Bultan. por Bravetti, Mario [editor.] \| Bultan, Tevfik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6551Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.

Refinar su búsqueda