Search for 'se,phr:"Cambridge tracts in theoretical computer science "'

Understanding Z : a specification language and its formal semantics

By Spivey, J. M.. New York: Cambridge University Press, 1988 . viii, 131 p.; 25 cm.. 0521054141

By Baeten, J. C. M. . Cambridge: Cambridge University Press, 2004 . ix, 317 p.; 25 cm.. 0521607507

By Winslett, Marianne. Cambridge: Cambridge University Press, 2005 . viii, 211 p.; 25 cm.. 0521619726

By Nielson, Flemming. Cambridge: Cambridge University Press, 2005 . xii, 299 p.; 25 cm.. 9780521018470

By Hindley, J. Roger. Cambridge: Cambridge University Press, 2008 . xi, 186 p. 23 cm.. 9780521054225

By Amadio, Roberto M.. Cambridge: Cambridge University Press, 2008 . xvi, 484 p.; 23 cm.. 9780521062923

By Terese Group. Cambridge: Cambridge University Press, 2003 . xxii, 884 p.; 24 cm.. 9780521391153

By Novak, Ladislav. Cambridge: Cambridge University Press, 1999 . 176 p.; 23 cm.. 9780521461177

By Blackburn, Patrick. Cambridge: Cambridge University Press, 2002 . xxii, 552 p.; 23 cm.. 9780521527149

By Seligman, Jerry. Cambridge: Cambridge University Press, 1997 . xv, 274 p.; 23 cm.. 9780521583862

By De Roever, Willem-Paul. Cambridge: Cambridge University Press, 2001 . xxii, 776 p.; 24 cm.. 9780521806084

By Baeten, J. C. M.. Cambridge: Cambridge University Press, 2010 . xvi, 460 p.; 24 cm.. 9780521820493

By McEvoy, K.. New York: Cambridge University Press, 2003 . ix, 438 p.; 24 cm.. 052154565X