【コンピュータ支援検証】
Computer–aided Verification(DIMACS - Ser. in Discrete Mathematics and Theoretical Computer Science Vol. 3) H xii, 628 p. 91
American Mathem, American Mathem
著
|
在庫状況
お取り寄せ
|
お届け予定日
1ヶ月
|
|
|
価格
\37,096（税込）
|
|
|
|
発行年月 |
1991年06月 |
|---|
| 出版社／提供元 |
American Mathematical Society |
出版国 |
アメリカ合衆国 |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
hardcover |
|---|
|
ページ数／巻数 |
illus. |
|---|
|
|
ジャンル |
洋書／理工学／数学／応用数学 |
|---|
|
|
ISBN |
9780821865941 |
|---|
|
商品コード |
0209114696 |
|---|
|
|
|
本の性格 |
議事録 |
|---|
|
|
|
| 商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209114696 |
|---|
内容
Proceedings of a DIMACS Workshop held at the Center for Discrete Mathematics and Theoretical Computer Science at Rutgers University, June 18-21, 1990
