Suchergebnisse - Manna, Zohar
- Treffer 1 - 5 von 5
-
1
Mathematical theory of computation von Manna, Zohar
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2
The deductive foundations of computer programming a one-volume version of the logical basis for computer programming von Manna, Zohar
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3
Mathematical theory of computation Zohar Manna. von Manna, Zohar
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4
The logical basis for computer programming von Manna, Zohar
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
The calculus of computation decision procedures with applications to verification von Bradley, Aaron R.
Veröffentlicht 2007Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …


