Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    68Q65 - Abstract data types; algebraic specification
Mostrando 1-3 de 3 resultados, ordenados por

Type theory and functional programming

Simon Thompson.

Wokingham, England : Addison-Wesley, ©1991.

Ubicación:

  • 68
    T468

Imagen de la tapa

Algebraic approaches to program semantics

Ernest G. Manes, Michael A. Arbib.

New York : Springer-Verlag, ©1986.

Ubicación:

  • 68
    M274

Fundamentals of algebraic specification

H. Ehrig, B. Mahr.

Berlin : Springer-Verlag, ©1985-©1990.

Ubicación:

  • v. 1:
    68
    Eh33
    v.1

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