Su búsqueda retornó 12 resultados.

Ordenar
Resultados
1.
Practical foundations for programming languages / Robert Harper. por
Detalles de publicación: Cambridge ; ; New York : Cambridge University, 2013
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3 H293.
2.
Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer. Series Publications of the Newton Institute ; 14
Detalles de publicación: Cambridge ; New York : Cambridge University, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 S471.
3.
The B-book : assigning programs to meanings / Jean-Raymond Abrial. por
Detalles de publicación: Cambridge ; New York : Cambridge University, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 A163.
4.
Understanding Z : a specification language and its formal semantics / J. Michael Spivey. por Series Cambridge tracts in theoretical computer science ; 3
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3 S761 .
5.
Epistemic logic for AI and computer science / J-J. CH Meyer, Wiebe van der Hoek. por Series Cambridge tracts in theoretical computer science ; 41
Detalles de publicación: Cambridge, UK : Cambridge University, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4.1 M612 ej.2, ...
6.
Action semantics / Peter D. Mosses. por Series Cambridge tracts in theoretical computer science ; 26
Detalles de publicación: Cambridge, UK : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.2 M913 .
7.
Predicate transformer semantics / Ernest G. Manes. por Series Cambridge tracts in theoretical computer science ; 33
Detalles de publicación: Cambridge, UK : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.2 M274 .
8.
ML for the working programmer / Lawrence C. Paulson. por
Edición: 2a. ed.
Detalles de publicación: Cambridge, UK : Cambridge University, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3 P332 .
9.
An introduction to functional programming systems using HASKELL / Antony J.T. Davie. por Series Cambridge computer science texts ; 27
Detalles de publicación: Cambridge : Cambridge University, 1999
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D1.1 D254 .
10.
Theories of programming languages / John C. Reynolds. por
Detalles de publicación: Cambridge : Cambridge University, 1998
Disponibilidad: Ítems disponibles para préstamo: FaMAF (3)Signatura topográfica: C F3.2 R462 ej.3, ...
11.
Concepts in programming languages / John C. Mitchell. por
Detalles de publicación: Cambridge : Cambridge University, 2003
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3.1 M679 ej.1. No disponible:FaMAF: Prestado (1).
12.
Memory as a programming concept in C and C++ / Frantisek Franek. por
Detalles de publicación: Cambridge : Cambridge University, 2004
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3.1 F814 .
Páginas


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)