Biblioteca da Universidade do Minho Search for '519.6' with limit(s): 'title-series:Cambridge tracts in theoretical computer science'

Advanced topics in bisimulation and coinduction

By edited by Davide Sangiorgi, Jan Rutten. Cambridge Cambridge University Press 2012 . XIII, 326 p. 23 cm. 978-1-107-00497-9

Place Hold on Advanced topics in bisimulation and coinduction

Mathematical theory of domains

By Viggo Stoltenberg-Hansen. Cambridge Cambridge University Press 1994 . XII, 349 p. 26 cm. 0-521-38344-7

Place Hold on Mathematical theory of domains

Applications of process algebra

By ed. J. C. M. Baeten. Cambridge Cambridge University Press 1990 . IX, 317 p. 26 cm. 0-521-40028-7

Place Hold on Applications of process algebra

The uncertain reasoner's companion

By J. B. Paris. Cambridge Cambridge University Press 1994 . X, 212 p. 26 cm. 0-521-46089-1

Place Hold on The uncertain reasoner's companion

The logic of distributed systems

By Jon Barwise, Jerry Seligman. Cambridge Cambridge University Press 1997 . XV, 273 p. 24 cm. 0-521-58386-1

Place Hold on The logic of distributed systems

Data refinement

By Willem-Paul de Roever, Kai Engelhardt. Cambridge Cambridge University Press 1998 . XI, 423 p. 24 cm. 0-521-64170-5

Place Hold on Data refinement

Logic and computation

By Lawrence C. Paulson. Cambridge Cambridge University Press 1990 . XIII, 302 p. 25 cm. 0-521-39560-7

Place Hold on Logic and computation

Algebraic specification of communication protocols

By ed. S. Mauw, G. J. Veltink. Cambridge Cambridge University Press 1993 . XI, 197 p. 26 cm. 0-521-41883-6

Place Hold on Algebraic specification of communication protocols

Algorithmic information theory

By Gregory J. Chaitin. Cambridge Cambridge University Press 1990 . X, 178 p. 25 cm. 0-521-34306-2

Place Hold on Algorithmic information theory

Topology via logic

By Steven Vickers. Cambridge Cambridge University Press 1989 . 200 p. 26 cm. 0-521-36062-5

Place Hold on Topology via logic

Process algebra

By J. C. M. Baeten, T. Basten, M. A. Reniers. Cambridge Cambridge University Press 2010 . XVI, 460 p. 24 cm. 978-0-521-82049-3

Place Hold on Process algebra

Derivation and computation

By Harold Simmons. Cambridge Cambridge University Press 2000 . XXV, 384 p. 24 cm. 0-521-77173-0

Place Hold on Derivation and computation

Term rewriting systems

By Terese. Cambridge Cambridge University Press 2003 . XXII, 884 p. 24 cm. 0-521-39115-6

Place Hold on Term rewriting systems

Programs, recursion and unbounded choice

By Win H. Hesselink. Cambridge Cambridge University Press 1992 . XII, 223 p. 26 cm. 0-521-40436-3

Place Hold on Programs, recursion and unbounded choice

Action semantics

By Peter D. Mosses. Cambridge Cambridge University Press 1992 . XX, 372 p. 26 cm. 0-521-40347-2

Place Hold on Action semantics

Epistemic logic for AI and computer science

By J.-J. Ch. Meyer, W. van der Hoek. Cambridge Cambridge University Press 1995 . XIII, 354 p. 26 cm. 0-521-46014-X

Place Hold on Epistemic logic for AI and computer science

Higher order logic and hardware verification

By T. Melham. Cambridge Cambridge University Press 1993 . XIII, 165 p. 26 cm. 0-521-41718-X

Place Hold on Higher order logic and hardware verification

Formal specification and design

By L. M. G. Feijs, H. B. M. Jonkers. Cambridge Cambridge University Press 1992 . XVI, 335 p. 26 cm. 0-521-43457-2

Place Hold on Formal specification and design