Search Results - "Foundations of computing"
-
1
Hilbert's tenth problem
Published 1993“…Foundations of computing…”
Click Here to View Status and Holdings.
Unknown -
2
Control flow semantics
Published 1996“…Foundations of computing…”
Click Here to View Status and Holdings.
Unknown -
3
Algebraic semantics of imperative programs
Published 1996“…Foundations of computing…”
Click Here to View Status and Holdings.
Unknown -
4
Computability and complexitybfrom a programming perspective
Published 1997“…Foundations of computing…”
Click Here to View Status and Holdings.
Unknown -
5
Dynamic logic
Published 2000“…Foundations of computing…”
Click Here to View Status and Holdings.
Unknown -
6
The formal semantics of programming languages n introduction
Published 1993“…Foundations of computing…”
Click Here to View Status and Holdings.
Unknown -
7
Algebraic theory of processes
Published 1988“…MIT Press series in the foundations of computing…”
Click Here to View Status and Holdings.
Unknown