Refinar su búsqueda
Disponibilidad
- Mostrar ítems actualmente disponibles
- Mostrar todos los ítems:
-
Autores
- Arch, David Daniel (1)
- Barsotti, Damián (1)
- Blanco, Javier Oscar (1)
- Brandán Briones, Lau... (1)
- Buteler, Gonzalo Pat... (1)
- Cortez Sánchez, Josh... (1)
- D'Argenio, Pedro Rub... (4)
- Fridlender, Daniel E... (1)
- Gertel, Matías (1)
- Hames, Edgardo E. (1)
- Kurbán, Marcos Emanu... (1)
- Mancuso, Bruno (1)
- Romero, Santiago Gab... (1)
- Sánchez, César (1)
- Wolovick, Nicolás (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
-
Ubicaciones
-
Temas
- Applicative programm... (1)
- Asistente interactiv... (1)
- Derivación de progra... (1)
- Program verification (4)
- Program Verification (1)
- Programming techniqu... (1)
- Semantics of program... (1)
- Software (3)
- Software Testing and... (1)
- Testeo y depuraciòn ... (1)
- Verificación de Prog... (1)
- Verificación de prog... (1)
- Mostrar más
- Mostrar menos