岐阜大学図書館蔵書検索（OPAC）

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

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 4 件

図書

1. Principles of the SPIN model checker

Mordechai Ben-Ari

図書

2. Mathematical logic for computer science. 2nd ed. (: pbk)

Mordechai Ben-Ari

図書

3. Mathematical logic for computer science (: pbk)

M. Ben-Ari

出版情報:	New York : Prentice Hall, 1993
シリーズ名:	Prentice-Hall International series in computer science
子書誌情報:	loading…
所蔵情報:	図書館

図書

4. 並行プログラミングの原理 : プロセス間通信と同期への概念的アプローチ

M. ベン=アリ著 ; 渡辺栄一訳