Showing 1 - 5 results of 5 for search 'Manna, Zohar', query time: 0.01s
Refine Results
-
1
The calculus of computation decision procedures with applications to verification by Bradley, Aaron R.
Published 2007Call Number: loading...
Located: loading...Book loading... -
2
The deductive foundations of computer programming a one-volume version of the logical basis for computer programming by Manna, Zohar
Published 1993Call Number: loading...
Located: loading...Book loading... -
3
The logical basis for computer programming by Manna, Zohar
Published 1985Call Number: loading...
Located: loading...Book loading... -
4
Mathematical theory of computation Zohar Manna. by Manna, Zohar
Published 1974Call Number: loading...
Located: loading...Book loading... -
5
Mathematical theory of computation by Manna, Zohar
Published 1974Call Number: loading...
Located: loading...Book loading...


