Normal view MARC view ISBD view

Teoría de la Computación y Verificación de Programas

Rosenfeld, Ricardo Fabián

Teoría de la Computación y Verificación de Programas - 2010 - 1 archivo (56,8 KB)

Carrera: Licenciatura en Informática Plan 2003-07 -- Duración: semestral -- Carácter: optativa

Standard No.: DIF-M6008

Subjects--Topical Terms:
VERIFICACIÓN DE PROGRAMAS
CORRECCIÓN DE PROGRAMAS
FIABILIDAD DEL SOFTWARE

Place hold
Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD