Su búsqueda retornó 33 resultados.

Ordenar
Resultados
1.
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.
2.
Process algebra : equational theories of communicating processes / J.C.M. Baeten, Twan Basten, Michel Adriaan Reniers. por Series Cambridge tracts in theoretical computer science ; 50
Detalles de publicación: Cambridge ; New York : Cambridge University, 2010
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D1.3 B142.
3.
Understanding Z : a specification language and its formal semantics / J. Michael Spivey. por Series Cambridge tracts in theoretical computer science ; 3
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3 S761 .
4.
Formal specification and design / L. M. G. Feijs, H. B. M. Jonkers. por Series Cambridge tracts in theoretical computer science ; 35
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.1 F297 .
5.
Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink. por Series Cambridge tracts in theoretical computer science ; 27
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 H587 .
6.
Higher order logic and hardware verification / Thomas Melham. por Series Cambridge tracts in theoretical computer science ; 31
Detalles de publicación: Cambridge : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C B6.1 M521 .
7.
Formal methods in circuit design / V. Stavridou. por Series Cambridge tracts in theoretical computer science ; 37
Detalles de publicación: Cambridge : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C B6.3 S798 .
8.
Free choice Petri nets / Jörg Desel, Javier Esparza. por Series Cambridge tracts in theoretical computer science ; 40
Detalles de publicación: Cambridge : Cambridge University, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.1 D451 .
9.
Algorithmic information theory / por Series Cambridge tracts in theoretical computer science ; 1
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C H1.1 CH435 .
10.
Two-level functional languages / Flemming Nielson, Hanne Riis Nielson. por Series Cambridge tracts in theoretical computer science ; 34
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D3.2 N669 .
11.
Algebraic specification of communication protocols / edited by S. Mauw, G. J. Veltink. por Series Cambridge tracts in theoretical computer science ; 36
Detalles de publicación: Cambridge : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.1 A394 .
12.
The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution / Bob Carpenter. por Series Cambridge tracts in theoretical computer science ; 32
Detalles de publicación: Cambridge : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C E1 C295 .
13.
Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor. por Series Cambridge tracts in theoretical computer science ; 22
Detalles de publicación: Cambridge : Cambridge University, 1994
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 S888 .
14.
Extensions of first order logic / María Manzano. por Series Cambridge tracts in theoretical computer science ; 19
Detalles de publicación: Cambridge : Cambridge University, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 M296 .
15.
Epistemic logic for AI and computer science / J-J. CH Meyer, Wiebe van der Hoek. por Series Cambridge tracts in theoretical computer science ; 41
Detalles de publicación: Cambridge, UK : Cambridge University, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C F4.1 M612 ej.2, ...
16.
Process algebra / J. C. M. Beaten, W. P. Weijland. por Series Cambridge tracts in theoretical computer science ; 18
Detalles de publicación: Cambridge, UK : Cambridge University, 1995
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F1.2 B142.
17.
The clausal theory of types / D. A. Wolfram. por Series Cambridge tracts in theoretical computer science ; 21
Detalles de publicación: Cambridge, UK : Cambridge University, 1993
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F4.1 W861 .
18.
Formal semantics and pragmatics for natural language querying / James Clifford. por Series Cambridge tracts in theoretical computer science ; 8
Detalles de publicación: Cambridge, UK : Cambridge University, 1990
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C I2.7 C637 .
19.
Action semantics / Peter D. Mosses. por Series Cambridge tracts in theoretical computer science ; 26
Detalles de publicación: Cambridge, UK : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.2 M913 .
20.
Predicate transformer semantics / Ernest G. Manes. por Series Cambridge tracts in theoretical computer science ; 33
Detalles de publicación: Cambridge, UK : Cambridge University, 1992
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C F3.2 M274 .
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)