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

Detalles Bibliográficos
Autor Principal: Rosenfeld, Ricardo Fabián
Formato: Programa de materia
Lengua:español
Datos de publicación: 2014
Temas:
Acceso en línea:http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=510
Consultar en el Cátalogo
Notas:Carrera: Lic. en Informática Plan 2012 -- Año: 4º o 5º -- Duración: semestral -- Carácter: optativa.
Descripción Física:1 archivo (87,9 kB)

MARC

LEADER 00000nam a2200000 a 4500
003 AR-LpUFIB
005 20250311170416.0
008 230201s2014 ag rp 000 0 spa d
024 8 |a DIF-M6481  |b 6620  |z DIF005912 
040 |a AR-LpUFIB  |b spa  |c AR-LpUFIB 
100 1 |a Rosenfeld, Ricardo Fabián 
245 1 0 |a Teoría de la Computación y Verificación de Programas Avanzada /  |c 1 
260 |c 2014 
300 |a 1 archivo (87,9 kB) 
500 |a Carrera: Lic. en Informática Plan 2012 -- Año: 4º o 5º -- Duración: semestral -- Carácter: optativa. 
650 4 |a TEORÍA DE LA COMPUTACIÓN 
856 4 0 |u  http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=510 
942 |c PG 
952 |0 0  |1 0  |4 0  |6 P12F04_14E  |7 0  |9 80858  |a DIF  |b DIF  |d 2025-03-11  |i DIF-E0289  |l 0  |o P12F04_14E  |p DIF-E0289  |r 2025-03-11 17:04:16  |w 2025-03-11  |y PG 
952 |0 0  |1 0  |4 0  |7 3  |8 BD  |9 80859  |a DIF  |b DIF  |d 2025-03-11  |l 0  |r 2025-03-11 17:04:16  |u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=510  |w 2025-03-11  |y PG 
999 |c 55694  |d 55694