著者典拠情報

著者標目形：
Ben-Ari, M., 1948-
属性：
Personal
日付：
1948-
から見よ参照形：
Ari, M. Ben-, 1948-
注記：
Author's Principles of concurrent programming, 1982: CIP t.p. (M. Ben-Ari) data sheet (b. 1948)
著者典拠ID：
DA00318939


1.

図書
図書
1. Principles of the SPIN model checker
Mordechai Ben-Ari
出版情報: London : Springer, c2008
所蔵情報: 図書館
2.

図書
図書
2. Mathematical logic for computer science. 2nd ed. (: pbk)
Mordechai Ben-Ari
出版情報: New York, Tokyo : Springer, c2001
所蔵情報: 図書館
3.

図書
図書
3. Mathematical logic for computer science (: pbk)
M. Ben-Ari
出版情報: New York : Prentice Hall, 1993
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: 図書館
4.

図書
図書
4. 並行プログラミングの原理 : プロセス間通信と同期への概念的アプローチ
M. ベン=アリ著 ; 渡辺栄一訳
出版情報: 東京 : 啓学出版, 1986.3
所蔵情報: 図書館