The deductive foundations of computer programming / Zohar Manna, Richard Waldinger
Tipo de material: TextoSeries Artificial intelligence. Software engineeringDetalles de publicación: Reading, Massachusetts [etc.] : Addison-Wesley, cop. 1993 Descripción: XIV, 717 pISBN: 0-201-54886-0Tema(s): Programación de ordenadores | Lógica, simbólica y matemáticaTipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | Depósito-681.3.06/MAN/ded (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | PREST. LIBROS | 370074907X |
Total de reservas: 0
Es una versión del vol. 1 de "The logical basis for computer programming"
No hay comentarios en este titulo.