"Nitza"@en . . . . . . . . . . . . . . . . . . . . . "Zohar Manna"@en . "\u0417\u043E\u0445\u0430\u0440 \u041C\u0430\u043D\u043D\u0430 (\u0456\u0432\u0440. \u05D6\u05D5\u05D4\u05E8 \u05DE\u05E0\u05D4\u200E; \u0430\u043D\u0433\u043B. Zohar Manna, *1939) \u2014 \u0456\u0437\u0440\u0430\u0457\u043B\u044C\u0441\u044C\u043A\u0438\u0439 \u0442\u0430 \u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u044C\u043A\u0438\u0439 \u043D\u0430\u0443\u043A\u043E\u0432\u0435\u0446\u044C \u0432 \u0433\u0430\u043B\u0443\u0437\u0456 \u0456\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0438, \u043F\u0440\u043E\u0444\u0435\u0441\u043E\u0440 \u0421\u0442\u0435\u043D\u0444\u043E\u0440\u0434\u0441\u044C\u043A\u043E\u0433\u043E \u0443\u043D\u0456\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0443."@uk . . "Zohar Manna (Haifa, 1939 \u2013 30 agosto 2018) \u00E8 stato un informatico israeliano naturalizzato statunitense.\u00C8 stato professore di informatica alla Stanford University."@it . . . . . . "Zohar Manna"@en . "Zohar Manna (* 17. Januar 1939 in Haifa; \u2020 30. August 2018 in Netanja) war ein israelisch-US-amerikanischer Informatiker. Er war Professor an der Stanford University. Manna studierte am Technion in Haifa mit dem Bachelorabschluss 1961 und dem Masterabschluss 1965. Er wurde 1968 bei Robert W. Floyd (und Alan Perlis) an der Carnegie Mellon University promoviert (Termination of algorithms). Er war seit 1968 Professor in Stanford und au\u00DFerdem seit 1972 Professor am Weizmann-Institut. Er befasste sich unter anderem mit der Logik von Programmen, temporaler Logik und deren Anwendung in der Verifikation reaktiver Systeme. 1992 erhielt er den ersten Friedrich L. Bauer-Preis, 2016 mit Richard Waldinger den Herbrand Award. Er war Fellow der Association for Computing Machinery. 1968 war er Guggenheim Fellow."@de . . . "Zohar Manna"@de . "Zohar Manna"@it . . . . . . . . . . . . . . . . . "\u0417\u043E\u0445\u0430\u0440 \u041C\u0430\u043D\u043D\u0430 (\u0456\u0432\u0440. \u05D6\u05D5\u05D4\u05E8 \u05DE\u05E0\u05D4\u200E; \u0430\u043D\u0433\u043B. Zohar Manna, *1939) \u2014 \u0456\u0437\u0440\u0430\u0457\u043B\u044C\u0441\u044C\u043A\u0438\u0439 \u0442\u0430 \u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u044C\u043A\u0438\u0439 \u043D\u0430\u0443\u043A\u043E\u0432\u0435\u0446\u044C \u0432 \u0433\u0430\u043B\u0443\u0437\u0456 \u0456\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0438, \u043F\u0440\u043E\u0444\u0435\u0441\u043E\u0440 \u0421\u0442\u0435\u043D\u0444\u043E\u0440\u0434\u0441\u044C\u043A\u043E\u0433\u043E \u0443\u043D\u0456\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0443."@uk . . "Bauer Prize, Technical University of Munich"@en . . . . . . . . . . . "Zohar Manna (Haifa, 1939 \u2013 30 agosto 2018) \u00E8 stato un informatico israeliano naturalizzato statunitense.\u00C8 stato professore di informatica alla Stanford University."@it . . . . . "4"^^ . . . . . "Zohar Manna, n\u00E9 le 17 janvier 1939 \u00E0 Ha\u00EFfa et mort le 30 ao\u00FBt 2018 \u00E0 Netanya en Isra\u00EBl, est un informaticien isra\u00E9lo-am\u00E9ricain. Il \u00E9tait professeur \u00E0 l'universit\u00E9 Stanford. Il est r\u00E9put\u00E9 comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages \u00E0 d\u00E9velopper les concepts math\u00E9matiques qui sont \u00E0 la base de la programmation en informatique."@fr . . . . . "Zohar Manna"@pt . . . "5382"^^ . . "Israeli-American"@en . . . . "\u0417\u043E\u0445\u0430\u0440 \u041C\u0430\u043D\u043D\u0430"@uk . "\u0417\u043E\u0445\u0430\u0440 \u041C\u0430\u043D\u043D\u0430 (\u0438\u0432\u0440. \u200F\u05D6\u05D5\u05D4\u05E8 \u05DE\u05E0\u05D4\u200F\u200E; \u0430\u043D\u0433\u043B. Zohar Manna, 1939, \u0425\u0430\u0439\u0444\u0430 \u2014 30 \u0430\u0432\u0433\u0443\u0441\u0442\u0430 2018) \u2014 \u0438\u0437\u0440\u0430\u0438\u043B\u044C\u0441\u043A\u0438\u0439 \u0438 \u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u043A\u0438\u0439 \u0443\u0447\u0451\u043D\u044B\u0439 \u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0438 \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0438, \u043F\u0440\u043E\u0444\u0435\u0441\u0441\u043E\u0440 \u0421\u0442\u044D\u043D\u0444\u043E\u0440\u0434\u0441\u043A\u043E\u0433\u043E \u0443\u043D\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430. \u0420\u043E\u0434\u0438\u043B\u0441\u044F \u0438 \u0432\u044B\u0440\u043E\u0441 \u0432 \u0438\u0437\u0440\u0430\u0438\u043B\u044C\u0441\u043A\u043E\u0439 \u0425\u0430\u0439\u0444\u0435, \u0438\u0437\u0443\u0447\u0430\u043B \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0443 \u0432 \u0422\u0435\u0445\u043D\u0438\u043E\u043D\u0435, \u043F\u043E\u043B\u0443\u0447\u0438\u0432 \u0441\u0442\u0435\u043F\u0435\u043D\u044C \u0431\u0430\u043A\u0430\u043B\u0430\u0432\u0440\u0430 1962 \u0433\u043E\u0434\u0443 \u0438 \u0441\u0442\u0435\u043F\u0435\u043D\u044C \u043C\u0430\u0433\u0438\u0441\u0442\u0440\u0430 \u0432 1965 \u0433\u043E\u0434\u0443. \u0412 1962\u20141964 \u0433\u043E\u0434\u044B \u0440\u0430\u0431\u043E\u0442\u0430\u043B \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0441\u0442\u043E\u043C \u0432 \u0432\u043E\u043E\u0440\u0443\u0436\u0451\u043D\u043D\u044B\u0445 \u0441\u0438\u043B\u0430\u0445 \u0418\u0437\u0440\u0430\u0438\u043B\u044F. \u041F\u0440\u043E\u0434\u043E\u043B\u0436\u0438\u043B \u043E\u0431\u0443\u0447\u0435\u043D\u0438\u0435 \u0432 \u0423\u043D\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0435 \u041A\u0430\u0440\u043D\u0435\u0433\u0438 \u2014 \u041C\u0435\u043B\u043B\u043E\u043D\u0430, \u0433\u0434\u0435 \u0438\u0437\u0443\u0447\u0430\u043B \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0443 \u0438 \u0432 1968 \u0433\u043E\u0434\u0443 \u0437\u0430\u0449\u0438\u0442\u0438\u043B \u0434\u043E\u043A\u0442\u043E\u0440\u0441\u043A\u0443\u044E \u0434\u0438\u0441\u0441\u0435\u0440\u0442\u0430\u0446\u0438\u044E \u043F\u043E\u0434 \u0440\u0443\u043A\u043E\u0432\u043E\u0434\u0441\u0442\u0432\u043E\u043C \u0420\u043E\u0431\u0435\u0440\u0442\u0430 \u0424\u043B\u043E\u0439\u0434\u0430 \u0438 \u0410\u043B\u0430\u043D\u0430 \u041F\u0435\u0440\u043B\u0438\u0441\u0430."@ru . . . . "Zohar Manna, n\u00E9 le 17 janvier 1939 \u00E0 Ha\u00EFfa et mort le 30 ao\u00FBt 2018 \u00E0 Netanya en Isra\u00EBl, est un informaticien isra\u00E9lo-am\u00E9ricain. Il \u00E9tait professeur \u00E0 l'universit\u00E9 Stanford. Il est r\u00E9put\u00E9 comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages \u00E0 d\u00E9velopper les concepts math\u00E9matiques qui sont \u00E0 la base de la programmation en informatique."@fr . . "Zohar Manna (1939 \u2013 30 August 2018) was an Israeli-American computer scientist who was a professor of computer science at Stanford University."@en . . "Zohar Manna"@fr . . . . . . "Honorary PhD, \u00C9cole Normale Sup\u00E9rieure de Cachan"@en . . . . . . . . . . . . . . . . "\u0417\u043E\u0445\u0430\u0440 \u041C\u0430\u043D\u043D\u0430 (\u0438\u0432\u0440. \u200F\u05D6\u05D5\u05D4\u05E8 \u05DE\u05E0\u05D4\u200F\u200E; \u0430\u043D\u0433\u043B. Zohar Manna, 1939, \u0425\u0430\u0439\u0444\u0430 \u2014 30 \u0430\u0432\u0433\u0443\u0441\u0442\u0430 2018) \u2014 \u0438\u0437\u0440\u0430\u0438\u043B\u044C\u0441\u043A\u0438\u0439 \u0438 \u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u043A\u0438\u0439 \u0443\u0447\u0451\u043D\u044B\u0439 \u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0438 \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0438, \u043F\u0440\u043E\u0444\u0435\u0441\u0441\u043E\u0440 \u0421\u0442\u044D\u043D\u0444\u043E\u0440\u0434\u0441\u043A\u043E\u0433\u043E \u0443\u043D\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430. \u0420\u043E\u0434\u0438\u043B\u0441\u044F \u0438 \u0432\u044B\u0440\u043E\u0441 \u0432 \u0438\u0437\u0440\u0430\u0438\u043B\u044C\u0441\u043A\u043E\u0439 \u0425\u0430\u0439\u0444\u0435, \u0438\u0437\u0443\u0447\u0430\u043B \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0443 \u0432 \u0422\u0435\u0445\u043D\u0438\u043E\u043D\u0435, \u043F\u043E\u043B\u0443\u0447\u0438\u0432 \u0441\u0442\u0435\u043F\u0435\u043D\u044C \u0431\u0430\u043A\u0430\u043B\u0430\u0432\u0440\u0430 1962 \u0433\u043E\u0434\u0443 \u0438 \u0441\u0442\u0435\u043F\u0435\u043D\u044C \u043C\u0430\u0433\u0438\u0441\u0442\u0440\u0430 \u0432 1965 \u0433\u043E\u0434\u0443. \u0412 1962\u20141964 \u0433\u043E\u0434\u044B \u0440\u0430\u0431\u043E\u0442\u0430\u043B \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0441\u0442\u043E\u043C \u0432 \u0432\u043E\u043E\u0440\u0443\u0436\u0451\u043D\u043D\u044B\u0445 \u0441\u0438\u043B\u0430\u0445 \u0418\u0437\u0440\u0430\u0438\u043B\u044F. \u041F\u0440\u043E\u0434\u043E\u043B\u0436\u0438\u043B \u043E\u0431\u0443\u0447\u0435\u043D\u0438\u0435 \u0432 \u0423\u043D\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0435 \u041A\u0430\u0440\u043D\u0435\u0433\u0438 \u2014 \u041C\u0435\u043B\u043B\u043E\u043D\u0430, \u0433\u0434\u0435 \u0438\u0437\u0443\u0447\u0430\u043B \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0442\u0438\u043A\u0443 \u0438 \u0432 1968 \u0433\u043E\u0434\u0443 \u0437\u0430\u0449\u0438\u0442\u0438\u043B \u0434\u043E\u043A\u0442\u043E\u0440\u0441\u043A\u0443\u044E \u0434\u0438\u0441\u0441\u0435\u0440\u0442\u0430\u0446\u0438\u044E \u043F\u043E\u0434 \u0440\u0443\u043A\u043E\u0432\u043E\u0434\u0441\u0442\u0432\u043E\u043C \u0420\u043E\u0431\u0435\u0440\u0442\u0430 \u0424\u043B\u043E\u0439\u0434\u0430 \u0438 \u0410\u043B\u0430\u043D\u0430 \u041F\u0435\u0440\u043B\u0438\u0441\u0430. \u0412 1972 \u0433\u043E\u0434\u0443 \u0432\u0440\u0435\u043C\u0435\u043D\u043D\u043E \u0432\u0435\u0440\u043D\u0443\u043B\u0441\u044F \u0432 \u0418\u0437\u0440\u0430\u0438\u043B\u044C, \u0433\u0434\u0435 \u0431\u044B\u043B \u043F\u0440\u043E\u0444\u0435\u0441\u0441\u043E\u0440\u043E\u043C \u043F\u0440\u0438\u043A\u043B\u0430\u0434\u043D\u043E\u0439 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0438 \u0432 \u0418\u043D\u0441\u0442\u0438\u0442\u0443\u0442\u0435 \u0412\u0435\u0439\u0446\u043C\u0430\u043D\u0430. \u0421 1978 \u0433\u043E\u0434\u0430 \u2014 \u043F\u043E\u043B\u043D\u044B\u0439 \u043F\u0440\u043E\u0444\u0435\u0441\u0441\u043E\u0440 \u0421\u0442\u044D\u043D\u0444\u043E\u0440\u0434\u0441\u043A\u043E\u0433\u043E \u0443\u043D\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430, \u043D\u0430 \u044D\u0442\u043E\u0439 \u0434\u043E\u043B\u0436\u043D\u043E\u0441\u0442\u0438 \u043F\u0440\u043E\u0440\u0430\u0431\u043E\u0442\u0430\u043B \u0434\u043E \u0432\u044B\u0445\u043E\u0434\u0430 \u043D\u0430 \u043F\u0435\u043D\u0441\u0438\u044E \u0432 2010 \u0433\u043E\u0434\u0443. \u0414\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043B\u044C\u043D\u044B\u0439 \u0447\u043B\u0435\u043D \u0410\u0441\u0441\u043E\u0446\u0438\u0430\u0446\u0438\u0438 \u0432\u044B\u0447\u0438\u0441\u043B\u0438\u0442\u0435\u043B\u044C\u043D\u043E\u0439 \u0442\u0435\u0445\u043D\u0438\u043A\u0438 (1994)."@ru . . "Zohar Manna"@en . . . . . "699529"^^ . . . . "\u041C\u0430\u043D\u043D\u0430, \u0417\u043E\u0445\u0430\u0440"@ru . "Zohar Manna (1939 \u2013 30 August 2018) was an Israeli-American computer scientist who was a professor of computer science at Stanford University."@en . . . . . "Zohar Manna (* 17. Januar 1939 in Haifa; \u2020 30. August 2018 in Netanja) war ein israelisch-US-amerikanischer Informatiker. Er war Professor an der Stanford University. Manna studierte am Technion in Haifa mit dem Bachelorabschluss 1961 und dem Masterabschluss 1965. Er wurde 1968 bei Robert W. Floyd (und Alan Perlis) an der Carnegie Mellon University promoviert (Termination of algorithms). Er war seit 1968 Professor in Stanford und au\u00DFerdem seit 1972 Professor am Weizmann-Institut."@de . . . . . . "Zohar Manna (Haifa, 7 de janeiro de 1939 \u2013 30 de agosto de 2018) foi um cientista da computa\u00E7\u00E3o estadunidense. Foi professor da Universidade Stanford e autor de The Mathematical Theory of Computation (McGraw Hill, 1974; reimpress\u00E3o Dover, 2003), um dos primeiros livros a conter cobertura extensiva dos conceitos matem\u00E1ticos da programa\u00E7\u00E3o de computadores."@pt . . . . . . . . . . . . . . . . . . . . . . "Zohar Manna (Haifa, 7 de janeiro de 1939 \u2013 30 de agosto de 2018) foi um cientista da computa\u00E7\u00E3o estadunidense. Foi professor da Universidade Stanford e autor de The Mathematical Theory of Computation (McGraw Hill, 1974; reimpress\u00E3o Dover, 2003), um dos primeiros livros a conter cobertura extensiva dos conceitos matem\u00E1ticos da programa\u00E7\u00E3o de computadores. Com Amir Pnueli foi coautor de uma trilogia inacabada de livros texto sobre l\u00F3gica temporal e verifica\u00E7\u00E3o de sistemas reativos: The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer-Verlag, 1991), The Temporal Logic of Reactive and Concurrent Systems: Safety (Springer-Verlag, 1995) e The Temporal Logic of Reactive and Concurrent Systems: Progress (n\u00E3o publicado; os tr\u00EAs primeiros cap\u00EDtulos est\u00E3o dispon\u00EDveis em Manna/Pnueli: The Temporal Verification of Reactive Systems: Progress )."@pt . . . "1115091822"^^ .