CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 53 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).
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).
Construcción de programas que manejan dinámicamente la memoria / Renato Cherini.

by Cherini, Renato, 1981- | Blanco, Javier Oscar, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2015Dissertation note: Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Online access: Acceso a Versión Digital | Acceso a RDU_UNC Availability: Items available for loan: [Call number: T C CHE] (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).
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).
No determinismo completamente medible en procesos probabilisticos continuos / Carlos Esteban Budde.

by Budde, Carlos Esteban, 1988- | D'Argenio, Pedro Ruben, 1968- [dir.] | Sánchez Terraf, Pedro Octavio, 1979- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2012Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2012. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C BUD] (1).
Elements of finite model theory / Leonid Libkin.

by Libkin, Leonid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; Springer, c2010Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: [Call number: C F4.1 L695] (1).
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings / Aarti Gupta, Sharad Malik, editors.

by CAV (Conference) (20º : 2008 July 7-14 : Princeton, NJ, USA) | Gupta, Aarti [ed.] | Malik, Sharad [ed.].

Material type: book Book Publisher: Berlin : Springer 2008Availability: Items available for loan: [Call number: C LNCS v. 5123] (1).
Fundamental approaches to software engineering : 9th International Conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings / Luciano Baresi, Reiko Heckel, (eds.).

by FASE 2006 (9º : 2006 : Vienna, Austria) | Baresi, Luciano [ed.] | Heckel, Reiko [ed.].

Material type: book Book; Format: electronic ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Availability: Items available for loan: [Call number: C LNCS v. 3922] (1).
Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. : Proceedings / Stefan Kowalewski, Anna Philippou, editors.

by International Conference on Tools and Algorithms for the Construction and Analysis of Systems (15º : 2009 : York, UK.) | Kowalewski, Stefan [ed.] | Philippou, Anna [ed.].

Material type: book Book Publisher: Berlin : Springer 2009Availability: Items available for loan: [Call number: C LNCS v. 5505] (1).
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).
Computer aided verification : proceedings / Ahmed Bouajjani, Oded Maler (eds.).

by CAV (Conference) (21º : 2009 : Grenoble, France) | Bouajjani, Ahmed [ed.] | Maler, Oded [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2009Availability: Items available for loan: [Call number: C LNCS v. 5643] (1).
Fundamental approaches to software engineering : 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings / Marsha Chechik, Martin Wirsing, (eds.)

by FASE 2009 (12º : 2009 : York, UK) | Chechik, Marsha [ed.] | Wirsing, Martin [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. 5503] (1).
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).

by Grumberg, Orna | Veith, Helmut.

Material type: book Book; Format: print festschrift ; Literary form: Not fiction Publisher: Berlin : Springer, 2008Availability: Items available for loan: [Call number: C F3 Y397] (1).
Principles of the Spin model checker / Mordechai Ben-Ari ; [foreword by Gerard J. Holzmann].

by Ben-Ari, Mordechai, 1948-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Springer, c2008Online access: Publisher description | Table of contents only Availability: Items available for loan: [Call number: C F3 B456] (1).
The spin model checker : primer and reference manual / Gerard J. Holzmann.

by Holzmann, Gerard Johan, 1951-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Addison-Wesley, c2004Availability: Items available for loan: [Call number: C F3 H762] (1).
Model checking / Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled.

by Clarke, Edmund M, 1945- | Grumberg, Orna | Peled, Doron A, 1962-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT, c1999Availability: Items available for loan: [Call number: C F3 C597 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