25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science) - 和書 - Amazon - shikencho

和書洋書エレクトロニクスホーム＆キッチンミュージック DVD ビデオソフトウェアゲームおもちゃ＆ホビースポーツヘルス＆ビューティ時計ベビー＆マタニティ

アイテム詳細

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science)

Orna Grumberg
Helmut Veith

Springer-Verlag New York Inc (C)

グループ：Book

ランキング：74370

価格：￥ 4,567

発売日：2008-08-03

通常24時間以内に発送

このページのURLは
http://www.shikencho.com/shop/asin/Books/3540698493/

この商品を買った人はこんな商品も買っています。

Principles of Model Checking

Principles of Spin Model Checker

SPINモデル検査―検証モデリング技法

形式手法モデル理論アプローチ―情報システム開発の基礎

実践Common Lisp

Special Menu

Category Menu