CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 102 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).
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten.

by Sangiorgi, Davide, 1964- | Rutten, Johannes Josephus Martinus Matheus, 1959-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2012Availability: Items available for loan: [Call number: C F3 A244t] (1).
Software abstractions : logic, language and analysis / Daniel Jackson.

by Jackson, Daniel, 1963-.

Edition: Ed. rev. Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Massachusetts : MIT, c2012Availability: Items available for loan: [Call number: C F4 J12] (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).
Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings / Masahito Hasegawa (ed.).

by Hasegawa, Masahito, 1970- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2013Other title: TLCA 2013.Availability: Items available for loan: [Call number: C LNCS v. 7941] (1).
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / Luke Ong, Ruy de Queiroz, editors.

by Ong, Luke [ed.] | Queiroz, Ruy de [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2012Availability: Items available for loan: [Call number: C LNCS v. 7456] (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).
Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings / Pierre-Louis Curien (ed.).

by International Conference on Typed Lambda Calculi and Applications (9º : 2009 : Brasilla, Brazil) | Curien, Pierre-Louis [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; Springer, c2009Availability: Items available for loan: [Call number: C LNCS v. 5608] (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).
Automata, languages and programming : 33rd international Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings / Michele Bugliesi ... [et al.] (eds.).

by International Colloquium on Automata, Languages and Programming (33rd : 2006 : Venice, Italy) | Bugliesi, Michele [ed.] | Preneel, Bart [ed.] | Sassone, Vladimiro [ed.] | Wegener, Ingo [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Availability: Items available for loan: [Call number: C LNCS v. 4051 pte.1] (2).
Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings / Luca de Alfaro, ed.

by FOSSACS (12º : 2009 : York, UK) | Alfaro, Luca de, 1966- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5504] (1).
Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocأaw, Poland, July 9-13, 2007 : proceedings / Lars Arge ... [et al.] (eds.).

by International Colloquium on Automata, Languages and Programming (34th : 2007 : Wroclaw, Poland) | Arge, Lars [ed.] | Cachin, Christian [ed.] | Jurdziński, Tomasz [ed.] | Tarlecki, Andrzej [ed.] | European Association for Theoretical Computer Science.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Restricted to SpringerLink subscribers Availability: Items available for loan: [Call number: C LNCS v. 4596] (1).
Automata, languages and programming : 35th international Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, part I-II / Luca Aceto ... [et al.] (eds.).

by international Colloquium on Automata, Languages and Programming (35th : 2008 : Reykjavik, Iceland) | Aceto, Luca [ed.] | Damgard, Ivan [ed.] | Goldberg, Leslie Ann [ed.] | Halldórsson, Magnús M [ed.] | Ingólfsdóttir, Anna [ed.] | Walukiewicz, Igor [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2008Availability: Items available for loan: [Call number: C LNCS v. 5125 pte.I] (2).
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).

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