00964nam a2200301uu 4500 999162 20260507073204.0 061020s2005 spa 9588060567 999162 (OCoLC)777928316 comduadb spa QA 005 Bohorquez Villamizar, Jaime Alejandro aut aut 528373 Diseño efectivo de programas correctos Bogotá : Escuela Colombiana de Ingeniería Julio Garavito, 2005. x, 472 p. Coleccion de Informatica Algoritmos (Computadores) lemb 173839 Teoría de grafos lemb 25025 Diseño de programas para computador 36738 Programación (Computadores electrónicos) embne 23308 Relaciones de recurrencias 66116 Complejidad computacional 31639 BOOK 396865 396865 0 0 0 0 GENERAL BSP BSP 2006-10-31 Cooprudea 54200.00 C928078 0 QA75 B6-06 0575744 2023-04-26 00:00:00 1 2023-04-26 BOOK