Formal development of programs and proofs / edited by Edsger W. Dijkstra
Colaborador(es): Dijkstra, Edsger Wybe [editor].
Tipo de material:
TextoSeries (The UT year of programming series).Editor: Reading, Mass. Addison-Wesley, c1990Descripción: xiv, 242 p. : il.ISBN: 0201172372.Tema(s): INFORMATICA | PROGRAMACION DE COMPUTADORA | ALGORITMOS
| Ubicación actual | Colección | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|
| Biblioteca Académica UACO | Colección General | 004.42 F723f (Navegar estantería) | Disponible | 02-08090 |
Total de reservas: 0
Navegando SIUNPA Estantes , Código de colección: Colección General Cerrar el navegador de estanterías
| 004.42 E939e 2 Evolutionary computation 2 | 004.42 E939e 2 Evolutionary computation 2 | 004.42 F245i Iniciación a la programación | 004.42 F723f Formal development of programs and proofs / | 004.42 F787a Analysis patterns | 004.42 F787a Analysis patterns | 004.42 F787a Analysis patterns |
Includes bibliographical references.