名古屋工業大学図書館蔵書検索（名工大OPAC）

IRDB

同じキーワードで他のサイトを検索できます。

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 図書ID：

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 3 件

図書

1. Algorithmics : the spirit of computing. 3rd ed (: hbk.)

David Harel with Yishai Feldman

図書

2. Dynamic logic

David Harel, Dexter Kozen, Jerzy Tiuryn

図書

3. First-order dynamic logic (: gw ; : us)

David Harel

出版情報:	Berlin ; Tokyo : Springer-Verlag, 1979
シリーズ名:	Lecture notes in computer science ; 68
子書誌情報:	loading…
所蔵情報:	loading…