お店のコメント(スペック情報を含む場合もあり)
内容紹介 ソフトウェアの検証、並行性、非決定性を実践的に学べる!
モデル検査ツールSPINは、並行分散系のモデル記述および検証に広く用いられている。
本書はSPINを学ぶための優れた入門書の日本語翻訳で、逐次プログラムから並行分散系へと徐々にカリキュラムの難度を上げながらSPINを実際に動かしつつ、モデル記述やSPINを用いた検証を支える考え方や概念まで着実に身に着くもの。
商品ジャンル
商品名
最終調査日時
2015/07/05 (Sun) 02:19:29
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2015/07/05 (Sun) 02:19:29
¥3,564
1 %
¥3,529
3点在庫あり。(入荷予定あり)
2010/06/16 (Wed) 21:20:58
¥3,465
0 %
¥3,465
1970/01/01 (Thu) 00:00:00
¥0
0 %
¥0
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告