Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por autor: Manna, Zohar.
Resultado 3 de 4
 
Libro

The logical basis for computer programming

Zohar Manna, Richard Waldinger.

Reading, Mass. : Addison-Wesley, ©1985-©1990.

2 vols. ; 25 cm.

Serie: Addison-Wesley series in computer science

ISBN: 0201182602 (v. 1), 0201182610 (v. 2)

Existe una versión condensada en un solo vol.: The deductive foundations of computer programming. Reading, Mass. : Addison-Wesley, c1993.

Incluye referencias bibliográficas e índices.

Reseña: MathSciNet, 87k:03001 (v. 1)

Contenido

  • v. 1. Deductive reasoning
  • v. 2 Deductive systems.
 
Registro 003479 · Modificado: 08/05/2017

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos