Search Results - "Cambridge tracts in theoretical computer science"

Suggested Topics within your search.
  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Logic and computation interactive proof with Cambridge LCF

    Logic and computation interactive proof with Cambridge LCF by Paulson, Lawrence C

    Published 1990
    “…Cambridge tracts in theoretical computer science…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    A unifying framework for structured systems development models an approach using initial algebra semantics and category theory

    A unifying framework for structured systems development models an approach using initial algebra semantics and category theory by Tse, T. H

    Published 1991
    “…Cambridge tracts in theoretical computer science…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: