Principles of Model Checking H 936 p. 08
Baier, Christel,
Katoen, Joost–pieter
著
|
在庫状況
お取り寄せ
|
お届け予定日
1ヶ月
|
|
|
価格
\38,641（税込）
|
|
|
|
発行年月 |
2008年04月 |
|---|
|
出版国 |
アメリカ合衆国 |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
hardcover |
|---|
|
ページ数／巻数 |
984 p., ILLUS. |
|---|
|
|
ジャンル |
洋書／理工学／情報科学／ソフトウェア |
|---|
|
|
ISBN |
9780262026499 |
|---|
|
商品コード |
0206486753 |
|---|
|
|
|
本の性格 |
学術書 |
|---|
|
新刊案内掲載月 |
2008年02月 |
|---|
|
| 商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0206486753 |
|---|
内容
Foreword by Kim Guldstrand Larsen
