Refinar su búsqueda

Su búsqueda retornó 54 resultados.

Ordenar
Resultados
21.
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, ...
22.
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, ...
23.
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
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4 H979, ...
24.
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 .
25.
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, ...
26.
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, ...
27.
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 .
28.
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 .
29.
30.
31.
32.
33.
34.
35.
Computer aided verification : proceedindings / ed. Orna Grumberg. por Series Lecture notes in computer science ; v. 1254 | LNCS ; v. 1254
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1254 .
36.
Logic foundations of computer science / edited by Sergei Adian, Anil Nerode. por Series Lecture notes in computer science ; v. 1234 | LNCS ; v. 1234
Detalles de publicación: Berlin : Springer, 1997
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1234 .
37.
38.
39.
40.
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)