ID:DA00026434
Zohar Manna
Manna, Z. (Zohar)
Search authors sharing the same name
Zohar Manna, Doron A. Peled (eds.)
Springer c2010 Lecture notes in computer science 6200
Available at 1 libraries
Aaron R. Bradley, Zohar Manna
Springer c2007
Available at 11 libraries
Nachum Dershowitz (ed.)
Springer c2003 Lecture notes in computer science 2772
Available at 20 libraries
Dover Publications 2003
: pbk
Available at 10 libraries
Zohar Manna and Amir Pnueli
Springer-Verlag 1995
Available at 30 libraries
Zohar Manna, Richard Waldinger
Addison-Wesley Pub. Co. c1993
Available at 9 libraries
Zohar Manna, Amir Pnueli
Springer-Verlag c1992-
[v. 1], Specification : us , [v. 1], Specification : gw
Available at 26 libraries
Addison-Wesley c1990 Addison-Wesley series in computer science . The logical basis for computer programming ; v. 2
Available at 22 libraries
Tokyo : Addison-Wesley c1985 Addison-Wesley series in computer science . The logical basis for computer programming ; v. 1
Available at 52 libraries
Society for Industrial and Applied Mathematics 1980 CBMS-NSF regional conference series in applied mathematics 31
Available at 24 libraries
Zohar Manna, Richard Waldinger ; with contributions by Shmuel Katz and Karl Levitt
North-Holland c1977 Artificial intelligence series , The Computer science library
Available at 51 libraries
ゾーハ・マンナ著 ; 五十嵐滋訳
日本コンピュータ協会 1975.1 コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 23
Available at 122 libraries
by Zohar Manna
McGraw-Hill Kogakusha c1974 McGraw-Hill computer science series
Available at 16 libraries
McGraw-Hill c1974 McGraw-Hill computer science series
Available at 69 libraries
University Microfilms 1968