Mathematical Logic and Programming Languages. cloth 184 p.
Hoare, C.A.R.,
Shepherdson, J.C.
編
|
|
|
|
価格
\25,935（税込）
|
|
|
|
発行年月 |
1985年01月 |
|---|
| 出版社／提供元 |
Prentice Hall (UK) |
出版国 |
イギリス |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
cloth |
|---|
|
ページ数／巻数 |
184 p. |
|---|
|
|
ジャンル |
洋書 |
|---|
|
|
ISBN |
9780135614655 |
|---|
|
商品コード |
0205012853 |
|---|
|
|
|
|
|
|
|
| 商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0205012853 |
|---|
内容
Contributors: J.R. Abrial; E.M. Clarke, Jr.; E.W. Dijkstra; D.I. Good; C.A.R. Hoare; R. Kowalski; P. Martin-Lof; R. Milner; D.A. Turner; L.G. Valiant.
