CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 32 results. Subscribe to this search

|
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).
Process algebra : equational theories of communicating processes / J.C.M. Baeten, Twan Basten, Michel Adriaan Reniers.

by Baeten, Josephus Cornelis Maria | Basten, Twan, 1969- | Reniers, Michel Adriaan, 1970-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2010Availability: No items available Checked out (1).
Understanding Z : a specification language and its formal semantics / J. Michael Spivey.

by Spivey, J. Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C D3 S761 ] (1).
Formal specification and design / L. M. G. Feijs, H. B. M. Jonkers.

by Feijs, Loe M. G, 1954- | Jonkers, H. B. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C F3.1 F297 ] (1).
Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink.

by Hesselink, Wim Hendrik, 1946-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C F4.1 H587 ] (1).
Higher order logic and hardware verification / Thomas Melham.

by Melham, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1993Availability: Items available for loan: [Call number: C B6.1 M521 ] (1).
Formal methods in circuit design / V. Stavridou.

by Stavridou, V. (Victoria).

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1993Availability: Items available for loan: [Call number: C B6.3 S798 ] (1).
Free choice Petri nets / Jörg Desel, Javier Esparza.

by Desel, Jörg, 1959- | Esparza, Javier.

Material type: book Book; Literary form: Essays Publisher: Cambridge : Cambridge University, 1995Availability: Items available for loan: [Call number: C F1.1 D451 ] (1).
Algorithmic information theory /

by Chaitin, Gregory J, 1947-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C H1.1 CH435 ] (1).
Two-level functional languages / Flemming Nielson, Hanne Riis Nielson.

by Nielson, Flemming, 1955- | Nielson, Hanne Riis, 1954-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C D3.2 N669 ] (1).
Algebraic specification of communication protocols / edited by S. Mauw, G. J. Veltink.

by Mauw, S [ed.] | Veltink, G. J [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1993Availability: Items available for loan: [Call number: C F3.1 A394 ] (1).
The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution / Bob Carpenter.

by Carpenter, Bob.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1992Availability: Items available for loan: [Call number: C E1 C295 ] (1).
Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor.

by Stoltenberg-Hansen, Viggo | Lindström, Ingrid | Griffor, Edward R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1994Availability: Items available for loan: [Call number: C F4.1 S888 ] (1).
Extensions of first order logic / María Manzano.

by Manzano, María.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1996Availability: Items available for loan: [Call number: C F4.1 M296 ] (1).
Epistemic logic for AI and computer science / J-J. CH Meyer, Wiebe van der Hoek.

by Meyer, J-J. CH | Hoek, Wiebe van der.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1995Availability: Items available for loan: [Call number: C F4.1 M612 ej.2] (2).
Process algebra / J. C. M. Beaten, W. P. Weijland.

by Baeten, Josephus Cornelis Maria | Weijland, Willem Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1995Availability: No items available Checked out (1).
The clausal theory of types / D. A. Wolfram.

by Wolfram, D. A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1993Availability: Items available for loan: [Call number: C F4.1 W861 ] (1).
Formal semantics and pragmatics for natural language querying / James Clifford.

by Clifford, James, 1945-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1990Availability: Items available for loan: [Call number: C I2.7 C637 ] (1).
Action semantics / Peter D. Mosses.

by Mosses, Peter D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1992Availability: Items available for loan: [Call number: C F3.2 M913 ] (1).
Predicate transformer semantics / Ernest G. Manes.

by Manes, Ernest G, 1943-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, UK : Cambridge University, 1992Availability: Items available for loan: [Call number: C F3.2 M274 ] (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