Vista normal Vista MARC Vista ISBD

Yañez Romero, Fernando

Análisis de Programas y Algoritmos de Busqueda y Clasificación - Primera Edición - La Paz, [Bolivia]: UMSA, 1993. - 428 páginas; Ilustraciones, gráficos; 28 cm.

1.-Proposiciones y predicadores 2.-Leyes de equivalencia 3..-Sistema de deducción natural 4.-Predicados 5.-Precondición de comandos Wp 6.-Comandos SKIP, ABORT de composición y de asignación 7.-Comandos de elección y repetición 8.-Procedimientos


En español

Subjects--Topical Terms:
Análisis de Programas

Subjects--Index Terms: Algoritmos de Busqueda y Clasificación

Dewey Class. No.: 519.7 / Y82a