Jump to main content

yr 〜
yr

Search results 18

Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). (Lecture notes in computer science ; 6200 ; Festschrift)

Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). (Lecture notes in computer science ; 6200 ; Festschrift)
Paper図書
Springerc2010.<X>
National Diet Library
  • Author HeadingManna, Zohar Peled, Doron, 1962-

Software development technologies for reactive, real-time, and hybrid systems [microform] / P.I., Zohar Manna ([NASA contractor report] ; NASA-CR-205329)

Software development technologies for reactive, real-time, and hybrid systems [microform] / P.I., Zohar Manna ([NASA contractor report] ; NASA-CR-205329)
Microform図書
1997<YCA-NAS 1.26:205329>
National Diet Library
  • Author HeadingManna, Zohar United States. National Aeron...

Time for verification : essays in memory of Amir Pnueli

Time for verification : essays in memory of Amir Pnueli
Paper図書
Zohar Manna, Doron A. Peled (eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingManna, Zohar Peled, Doron A.

The calculus of computation : decision procedures with applications to verification

The calculus of computation : decision procedures with applications to verification
Paper図書
Aaron R. Bradley, Zohar MannaSpringerc2007
Other Libraries in Japan
  • Author HeadingBradley, Aaron R. Manna, Zohar

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Paper図書
Nachum Dershowitz (ed.)Springerc2003
Other Libraries in Japan
  • Author HeadingDershowitz, Nachum Manna, Zohar

Mathematical theory of computation : pbk

Mathematical theory of computation : pbk
Paper図書
Zohar MannaDover Publications2003
Other Libraries in Japan
  • Author HeadingManna, Zohar

Temporal verification of reactive systems : safety

Temporal verification of reactive systems : safety
Paper図書
Zohar Manna and Amir PnueliSpringer-Verlag1995
Other Libraries in Japan
  • Author HeadingManna, Zohar Pnueli, A. (Amir)

The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming

The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming
Paper図書
Zohar Manna, Richard WaldingerAddison-Wesley Pub. Co.c1993
Other Libraries in Japan
  • Author HeadingManna, Zohar Waldinger, Richard

The temporal logic of reactive and concurrent systems [v. 1], Specification : us [v. 1], Specification : gw

The temporal logic of reactive and concurrent systems [v. 1], Specification : us [v. 1], Specification : gw
Paper図書
Zohar Manna, Amir PnueliSpringer-Verlagc1992-
Other Libraries in Japan
  • Author HeadingManna, Zohar Pnueli, A. (Amir)

Deductive systems

Deductive systems
Paper図書
Zohar Manna, Richard WaldingerAddison-Wesleyc1990
Other Libraries in Japan
  • Author HeadingManna, Zohar Waldinger, Richard

Deductive reasoning

Deductive reasoning
Paper図書
Zohar Manna, Richard WaldingerTokyo : Addison-Wesleyc1985
Other Libraries in Japan
  • Author HeadingManna, Zohar Waldinger, Richard

プログラムの理論 (コンピュータ・サイエンス研究書シリーズ ; 23)

プログラムの理論 (コンピュータ・サイエンス研究書シリーズ ; 23)
PaperDigital図書障害者向け資料あり
ゾーハ・マンナ 著, 五十嵐滋 訳日本コンピュータ協会1975<M159-257>
National Diet LibraryOther Libraries in Japan
  • Author HeadingManna, Zohar 五十嵐, 滋, 1937-2023

Lectures on the logic of computer programming

Lectures on the logic of computer programming
Paper図書
Zohar MannaSociety for Industrial and Applied Mathematics1980
Other Libraries in Japan
  • Author HeadingManna, Zohar

Studies in automatic programming logic : pbk

Studies in automatic programming logic : pbk
Paper図書
Zohar Manna, Richard Waldinger ; with contributions by Shmuel Katz and Karl LevittNorth-Hollandc1977
Other Libraries in Japan
  • Author HeadingManna, Zohar Waldinger, Richard

Mathematical theory of computation

Mathematical theory of computation
Paper図書
Zohar MannaMcGraw-Hillc1974
Other Libraries in Japan
  • Author HeadingManna, Zohar

Mathematical theory of computation (McGraw-Hill computer science series)

Mathematical theory of computation (McGraw-Hill computer science series)
Paper図書
Zohar MannaMcGraw-Hillc1974
Other Libraries in Japan
  • Author HeadingManna, Zohar

Mathematical theory of computation

Mathematical theory of computation
Paper図書
by Zohar MannaMcGraw-Hill Kogakushac1974
Other Libraries in Japan
  • Author HeadingManna, Zohar

Termination of algorithms

Termination of algorithms
Paper図書
by Zohar MannaUniversity Microfilms1968
Other Libraries in Japan
  • Author HeadingManna, Zohar

Reached to the end of result.

RSS