Sistema de Información y Bibliotecas UNPA Koha

Vista normal Vista MARC Vista ISBD

Formal development of programs and proofs / edited by Edsger W. Dijkstra - Reading, Mass. Addison-Wesley, c1990 - xiv, 242 p. : il. - (The UT year of programming series) . - The UT year of programming series (Addison-Wesley) .

Includes bibliographical references.

ISBN: 0201172372

LCCN: 89000102

Subjects--Topical Terms:
INFORMATICA
PROGRAMACION DE COMPUTADORA
ALGORITMOS

LC Class. No.: QA76.6 / .F657 1990

Universal Decimal Class. No.: 004.42 F723f

Imprimir
Guardar registro
Más búsquedas