ログイン
|
ご利用案内
|
よくあるご質問
ホーム
和書
洋書
視聴覚資料
図書館用品・その他
MeL
eBook
商品検索
和書
洋書
視聴覚資料
古書・その他商品
MeL
eBook
ホーム
>
商品詳細
前のページに戻る
Mathematical Logic and Programming Languages. cloth 184 p.
Hoare, C.A.R.
,
Shepherdson, J.C.
編
絶版
価格
\25,483(税込)
この商品について問合せる
発行年月
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.
カート
カートに商品は入っていません。
前のページに戻る