First-Order Dynamic Logic 1979th ed.(Lecture Notes in Computer Science Vol.68) P 133 p. 79
Harel, D.
著
発行年月 |
1979年04月 |
---|
|
出版国 |
ドイツ |
---|
言語 |
英語 |
---|
媒体 |
冊子 |
---|
装丁 |
paper |
---|
|
ページ数/巻数 |
XII, 136 p. |
---|
|
|
ジャンル |
洋書 |
---|
|
|
ISBN |
9783540092377 |
---|
|
商品コード |
0208607094 |
---|
|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0208607094 |
---|