Yazar
Zohar Manna
19 cilt bulundu.
Zohar Manna · Addison-Wesley Pub. Co.
717 sayfa · 1993
Computer programming / Symbolic and mathematical Logic / Logic, symbolic and mathematical / Electronic digital computers, programming
Zohar Manna, Richard Waldinger, Johar Manna · Addison-Wesley Pub (Sd)
641 sayfa · 1985
Computer programming / Symbolic and mathematical Logic
Zohar Manna · Springer
512 sayfa · 1995
Computer software / Parallel processing (Electronic computers) / Verification / Computer software, reliability
Zohar Manna, Amir Pnueli · Island Press
448 sayfa · 1991
Computer programming / Symbolic and mathematical Logic / Electronic digital computers, programming / Logic, symbolic and mathematical
Zohar Manna · Society for Industrial and Applied Mathematics
49 sayfa · 1980
Computer programming / Symbolic and mathematical Logic / Programming (mathematics)
Zohar Manna · Springer New York
427 sayfa · 1992
Logic design / Computer Communication Networks / Computer science / Software engineering / Computer programming
Zohar Manna · North-Holland
192 sayfa · 1977
Automatic programming (Computer science) / Computer programs / Computer programming
Aaron R. Bradley, Zohar Manna · Springer
366 sayfa · 2007
Computer software, testing / Logic programming
Zohar Manna · Dept. of Computer Science, Stanford University
62 sayfa · 1992
Computer programming / Symbolic and mathematical Logic
Zohar Manna · Dept. of Computer Science, Stanford University
44 sayfa · 1994
Automatic theorem proving
Zohar Manna · National Aeronautics and Space Administration
Sayfa sayısı yok · 1997
Computer systems programs / Real time operation / Software development tools / Software engineering
Zohar Manna, Richard Waldinger · Pearson Education, Limited
632 sayfa · 2008
Computer programming / Logic, symbolic and mathematical