Søgeresultater - Manna, Zohar
- Showing 1 - 5 results of 5
-
1
Mathematical theory of computation af Manna, Zohar
Udgivet 1974Klassifikationsnummer: Loading...
Findes i: Loading...Bog Loading... -
2
The deductive foundations of computer programming a one-volume version of the logical basis for computer programming af Manna, Zohar
Udgivet 1993Klassifikationsnummer: Loading...
Findes i: Loading...Bog Loading... -
3
Mathematical theory of computation Zohar Manna. af Manna, Zohar
Udgivet 1974Klassifikationsnummer: Loading...
Findes i: Loading...Bog Loading... -
4
The logical basis for computer programming af Manna, Zohar
Udgivet 1985Klassifikationsnummer: Loading...
Findes i: Loading...Bog Loading... -
5
The calculus of computation decision procedures with applications to verification af Bradley, Aaron R.
Udgivet 2007Klassifikationsnummer: Loading...
Findes i: Loading...Bog Loading...


