Su búsqueda retornó 2 resultados.

Resultados
		Transactions on Modularity and Composition I [recurso electrónico] / edited by Shigeru Chiba, Mario Südholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens. por Chiba, Shigeru [editor.] \| Südholt, Mario [editor.] \| Eugster, Patrick [editor.] \| Ziarek, Lukasz [editor.] \| Leavens, Gary T [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9800Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Verified Software: Theories, Tools, Experiments [recurso electrónico] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings / edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani. por Leavens, Gary T [editor.] \| O’Hearn, Peter [editor.] \| Rajamani, Sriram K [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6217Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Refinar su búsqueda