著者典拠情報

標目形：
Harel, David, 1950-
属性：
Personal
日付：
1950-
から見よ参照形：
Harel, D
注記：
His First-order dynamic logic, 1979: t.p. (David Harel) verso t.p. (IBM Research Div., Mathematical Sciences Dept., Yorktown Heights, N.Y.)
FTS call to auth., 4/10/79 (b. 4/12/50; not same as Harel, Dudu, Israeli artist)
His Pirḳe yesod be-madaʿe ha-maḥshev, 1985: t.p. (Prof. Daṿid Harʾel, ha-Maḥlaḳah le-matemaṭiḳah shimushit, Mekhon Ṿaitsman le-madaʿ, Reḥovot) t.p. verso (David Harel [in rom.])
著者典拠ID：
DA01931918


 close
1.

図書
図書
1. Algorithmics : the spirit of computing. 3rd ed (: hbk.)
David Harel with Yishai Feldman
出版情報: Berlin ; London : Springer, 2012
所蔵情報: loading…
2.

図書
図書
2. Dynamic logic
David Harel, Dexter Kozen, Jerzy Tiuryn
出版情報: Cambridge, Mass. : MIT Press, 2000
シリーズ名: Foundations of computing
所蔵情報: loading…
3.

図書
図書
3. First-order dynamic logic (: gw ; : us)
David Harel
出版情報: Berlin ; Tokyo : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 68
所蔵情報: loading…