CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 50 results. Subscribe to this search

|
Type-driven development with Idris / Edwin Brady.

by Brady, Edwin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Manning Publications, 2017Availability: Items available for loan: [Call number: C F3 B812] (1).
Semantics engineering with PLT Redex / Matthias Felleisen, Robert Bruce Findler, Matthew Flatt.

by Felleisen, Matthias | Findler, Robert Bruce | Flatt, Matthew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT Press, c2009Availability: Items available for loan: [Call number: C F3 F318] (1).
An introduction to bisimulation and coinduction / Davide Sangiorgi.

by Sangiorgi, Davide, 1964-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, c2012Online access: Publisher description | Table of contents only Availability: Items available for loan: [Call number: C F3 S195] (1).
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring.

by Bertot, Yves, 1964- | Castéran, Pierre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, c2010Availability: Items available for loan: [Call number: C F3 B547] (1).
Category theory / Steve Awodey.

by Awodey, Steve, 1959-.

Edition: 2a ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford ; New York : Oxford University, 2011Availability: Items available for loan: [Call number: C F4 A967] (1).
Algorithmic randomness and complexity / Rodney G. Downey, Denis Roman Hirschfeldt.

by Downey, Rodney G, 1957- | Hirschfeldt, Denis Roman.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, c2010Availability: Items available for loan: [Call number: C F1 D74] (1).
First steps in modal logic / Sally Popkorn.

by Popkorn, Sally.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1994Online access: Sample text | Table of contents | Publisher description Availability: Items available for loan: [Call number: C F4 P828] (1).
Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.

by Kroening, Daniel | Strichman, Ofer.

Material type: book Book; Format: print Publisher: Berlin : Springer, 2010Availability: Items available for loan: [Call number: C F4.1 K93] (1).
Sketches of an elephant : a topos theory compendium / Peter T. Johnstone.

by Johnstone, Peter T.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford University, 2002-Online access: Publisher description | Table of contents only Availability: Items available for loan: [Call number: C F4 J73 v.1] (1).
Labelled Markov processes / Prakash Panangaden.

by Panangaden, Prakash.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Imperial College Press, c2009Availability: Items available for loan: [Call number: C F4 P187] (1).
The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli.

by Manna, Zohar | Pnueli, Amir.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer-Verlag, c1992Online access: Publisher description Availability: Items available for loan: [Call number: C D4.1 M282 v.1] (1).
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

by Huth, Michael, 1962- | Ryan, Mark Dermot, 1962-.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2009Online access: Table of contents | Publisher description Availability: Items available for loan: [Call number: C F4 H979] (1). Checked out (1).
Handbook of logic in computer science / ed. S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum.

by Abramsky, Samson, 1953- [ed.,] | Gabbay, Dov M, 1945- [ed.,] | Maibaum, Thomas S. E, 1947- [ed.,].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford university, 1992-1994Availability: Items available for loan: [Call number: C F4.1 H236 v.4] (4).
Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr.

by Ehrig, Hartmut, 1944- | Mahr, Bernd, 1945-.

Material type: book Book Publisher: Berlin : Springer, 1985-1990Availability: Items available for loan: [Call number: C F3 E33 v.1] (2).
The theory of Parsing, translation and compiling / Alfred V. Aho, Jeffrey D. Ullman.

by Aho, Alfred Vaino, 1941- | Ullman, Jeffrey D, 1942-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Englewood Cliffs : Prentice-Hall, 1972Availability: Items available for loan: [Call number: C D3.4 A286 v.1] (1).
A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll.

by Arbib, Michael A, 1940- | Kfoury, Assaf, 1945- | Moll, Robert N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1981Availability: Items available for loan: [Call number: C F4 A664 ] (1).
Logic for computer scientists / Uwe Schöning.

by Schöning, Uwe, 1955-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Birkhäuser, 1989Availability: Items available for loan: [Call number: C F4 S371 ] (1).
Unifying theories of programming / Charles Antony Richard Hoare, He Jifeng.

by Hoare, Charles Antony Richard, 1934- | He, Jifeng, 1943-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Prentice-Hall, 1998Availability: Items available for loan: [Call number: C F4 H679 ] (1).
First-order logic and automated theorem proving /

by Fitting, Melvin, 1942-.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1996Availability: Items available for loan: [Call number: C F4 F547 ej.2] (2).
Mathematics, machines, and Godel's proof / N. Shankar.

by Shankar, N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge Iniversity, 1997Availability: Items available for loan: [Call number: C F4.1 S528 ej.2] (2).

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