Suggested Topics within your search.
Showing 1 - 14 results of 14 for search '"Cambridge tracts in theoretical computer science ;"' Refine Results
  1. 1
    Understanding Z : a specification language and its formal semantics / J. M. Spivey.
    by Spivey, J. M.
    Published 2008
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  2. 2
    Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt with the assistance of Karl-Heinz Buth ... [et al.].
    by Roever, W.-P. de
    Published 1998
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  3. 3
    Modal logic / Patrick Blackburn, Maarten De Rijke, Yde Venema.
    by Blackburn, Patrick, 1959-
    Published 2001
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  4. 4
    Theoretical foundations of VLSI design / edited by K. McEvoy and J. V. Tucker.
    Published 1990
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  5. 5
    Formal semantics and pragmatics for natural language querying.
    by Clifford, James
    Published 1990
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  6. 6
    Term rewriting systems / Terese ; [editors, Marc Bezem, Jan Willem Klop, Roel de Vrijer].
    Published 2003
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  7. 7
    Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström and Edward R. Griffor.
    by Stoltenberg-Hansen, Viggo
    Published 1994
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  8. 8
    Higher order logic and hardware verification / T. Melham.
    by Melham, T. F. (Tom F.)
    Published 1993
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  9. 9
    Basic proof theory / A.S. Troelstra, H. Schwichtenberg.
    by Troelstra, A. S. (Anne Sjerp)
    Published 2000
    Edition: 2nd ed.
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  10. 10
    Metamathematics, machines, and Gödel's proof / N. Shankar.
    by Shankar, N.
    Published 1997
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  11. 11
    Formal methods in circuit design / V. Stavridou.
    by Stavridou, V. (Victoria)
    Published 1993
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  12. 12
    Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons.
    by Simmons, Harold
    Published 2000
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  13. 13
    Topology via logic / Steven Vickers.
    by Vickers, Steven
    Published 1989
    “...Cambridge tracts in theoretical computer science ;...”
    Book
    Save to List
    Saved in:
  14. 14
    Predicate transformer semantics / Ernest G. Manes.
    by Manes, Ernest G., 1943-
    Published 1992
    “...Cambridge tracts in theoretical computer science series ;...”
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search