東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Harel David)
該当件数:3件
First-order dynamic logic / David Harel
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1979. - (Lecture notes in computer science ; 68)
図書
Algorithmics : the spirit of computing / David Harel with the technical assistance of Roni Rosner on the exercises and solutions
2nd ed. - Reading, Mass. : Addison-Wesley , c1992
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn
Cambridge, Mass. : MIT Press , 2000. - (Foundations of computing)