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

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

MARC

LEADER 00000nam a2200000 a 4500
003 AR-LpUFIB
005 20250311170430.0
008 230201s2015 ag rp 000 0 spa d
024 8 |a DIF-M7013  |b 7191  |z DIF006397 
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 
260 |c 2015 
300 |a 1 archivo (91,9 KB) 
500 |a Carrera: Lic. en Informática Plan 2015. -- Año: 4º.-- Duración: semestral. 
650 4 |a TEORÍA DE LA COMPUTACIÓN 
856 4 0 |u  http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1157 
942 |c PG 
952 |0 0  |1 0  |4 0  |6 P15OI401_15E  |7 0  |9 81392  |a DIF  |b DIF  |d 2025-03-11  |i DIF-E0313  |l 0  |o P15OI401_15E  |p DIF-E0313  |r 2025-03-11 17:04:30  |w 2025-03-11  |y PG 
952 |0 0  |1 0  |4 0  |7 3  |8 BD  |9 81393  |a DIF  |b DIF  |d 2025-03-11  |l 0  |r 2025-03-11 17:04:30  |u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1157  |w 2025-03-11  |y PG 
999 |c 56178  |d 56178