CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 12 results. Subscribe to this search

|
Practical foundations for programming languages / Robert Harper.

by Harper, Robert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; ; New York : Cambridge University, 2013Availability: Items available for loan: [Call number: C D3 H293] (1).
Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 1997Online access: Publisher description | Table of contents Availability: Items available for loan: [Call number: C F4.1 S471] (1).
The B-book : assigning programs to meanings / Jean-Raymond Abrial.

by Abrial, Jean-Raymond, 1938-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 1996Online access: Publisher description | Table of contents Availability: Items available for loan: [Call number: C F3 A163] (1).
Understanding Z : a specification language and its formal semantics / J. Michael Spivey.

by Spivey, J. Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C D3 S761 ] (1).
Epistemic logic for AI and computer science / J-J. CH Meyer, Wiebe van der Hoek.

by Meyer, J-J. CH | Hoek, Wiebe van der.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1995Availability: Items available for loan: [Call number: C F4.1 M612 ej.2] (2).
Action semantics / Peter D. Mosses.

by Mosses, Peter D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1992Availability: Items available for loan: [Call number: C F3.2 M913 ] (1).
Predicate transformer semantics / Ernest G. Manes.

by Manes, Ernest G, 1943-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1992Availability: Items available for loan: [Call number: C F3.2 M274 ] (1).
ML for the working programmer / Lawrence C. Paulson.

by Paulson, Lawrence C.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1998Availability: Items available for loan: [Call number: C D3 P332 ] (1).
An introduction to functional programming systems using HASKELL / Antony J.T. Davie.

by Davie, Antony J. T, 1939-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1999Availability: Items available for loan: [Call number: C D1.1 D254 ] (1).
Theories of programming languages / John C. Reynolds.

by Reynolds, John C, 1935-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1998Availability: Items available for loan: [Call number: C F3.2 R462 ej.3] (3).
Concepts in programming languages / John C. Mitchell.

by Mitchell, John C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2003Availability: Items available for loan: [Call number: C D3.1 M679 ej.2] (2).
Memory as a programming concept in C and C++ / Frantisek Franek.

by Franek, Frantisek, 1947-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 2004Availability: Items available for loan: [Call number: C D3.1 F814 ] (1).

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

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

publicofamaf@gmail.com