Amazon - shikencho

アイテム詳細

Mordechai Ben-Ari

Springer-Verlag New York Inc (C)

グループ:Book

ランキング:7379

価格:¥ 7,463

発売日:2008-01

通常24時間以内に発送

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

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

Principles of Model Checking

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

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

Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座 1)

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

Special Menu

Category Menu