Su búsqueda retornó 19 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
No hay imagen de cubierta disponible
Algoritmos + estructuras de datos = programas / Niklaus Wirth. por Idioma: Español
Detalles de publicación: Madrid : Ediciones del Castillo, 1999
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F2.2 W799a.
Agregar al carrito
2.
Type-driven development with Idris / Edwin Brady. por
Detalles de publicación: New York : Manning Publications, 2017
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 B812.
Agregar al carrito
3.
Semantics engineering with PLT Redex / Matthias Felleisen, Robert Bruce Findler, Matthew Flatt. por
Detalles de publicación: Cambridge, Mass. : MIT Press, c2009
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 F318.
Agregar al carrito
4.
An introduction to bisimulation and coinduction / Davide Sangiorgi. por
Detalles de publicación: Cambridge ; New York : Cambridge University, c2012
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 S195.
Agregar al carrito
5.
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten. por Series Cambridge tracts in theoretical computer science ; 52
Detalles de publicación: Cambridge ; New York : Cambridge University, 2012
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 A244t.
Agregar al carrito
6.
7.
Elements of finite model theory / Leonid Libkin. por Series Texts in theoretical computer science | EATCS series
Detalles de publicación: Berlin ; Springer, c2010
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 L695.
Agregar al carrito
8.
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.). por Series Lecture notes in computer science ; 5000
Detalles de publicación: Berlin : Springer, 2008
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 Y397.
Agregar al carrito
9.
Principles of the Spin model checker / Mordechai Ben-Ari ; [foreword by Gerard J. Holzmann]. por
Detalles de publicación: London : Springer, c2008
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 B456.
Agregar al carrito
10.
The spin model checker : primer and reference manual / Gerard J. Holzmann. por
Detalles de publicación: Boston : Addison-Wesley, c2004
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 H762.
Agregar al carrito
11.
Model checking / Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled. por
Detalles de publicación: Cambridge, Mass. : MIT, c1999
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F3 C597, ...
Agregar al carrito
12.
Principles of model checking / Christel Baier, Joost-Pieter Katoen. por
Detalles de publicación: Cambridge, Mass. : MIT, 2008
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F3 B152, ...
Agregar al carrito
13.
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. por
Edición: 2nd ed.
Detalles de publicación: Cambridge ; New York : Cambridge University, 2009
Acceso en línea:
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4 H979, ...
Agregar al carrito
14.
Algorithms and data structures / Niklaus Wirth. por
Edición: 1a. ed. rev. and mod.
Detalles de publicación: Englewood Cliffs : Prentice-Hall, 1986
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F2.2 W799 .
Agregar al carrito
15.
The science of programming / David Gries. por Series Texts and monographs in computer science
Detalles de publicación: New York : Springer, 1981
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F3 G848 CONSULTA, ...
Agregar al carrito
16.
No hay imagen de cubierta disponible
Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr. por Series EATCS monographs on theoretical computer science ; v. 6, 21
Detalles de publicación: Berlin : Springer, 1985-1990
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F3 E33 v.1, ...
Agregar al carrito
17.
Programming in Martin-Lof's type theory : an introduction / Bengt Nordström, Kent Petersson, Jan M. Smith. por Series International series of monographs on computer science ; v. 7
Detalles de publicación: Oxford : Clarendon Press, 1990
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 N832 .
Agregar al carrito
18.
The design of well-structured and correct programs / Suad Alagic, Michael A. Arbib. por Series Texts and monographs in computer science
Detalles de publicación: New York : Springer, 1978
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3 A131 .
Agregar al carrito
19.
Derivation and computation : taking the Curry-Howard correspondence seriously / por Series Cambridge tracts in theoretical computer science ; 51
Detalles de publicación: Cambridge : Cambridge University, 2000
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4 S592 .
Agregar al carrito
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)