田原 - その他 (1) 通販 LOOK!! Kobo館

［この電子書籍は固定型レイアウトです。リフロー型と異なりビューア機能が制限されます］固定型レイアウトはページを画像化した構造であるため、ページの拡大縮小を除く機能は利用できません。また、モノクロ表示……続きを見る

価格：1,155円

著者：田原真人
出版社：秀和システム
発売日： 2018年06月25日

価格：1,485円

レビュー件数：4 / 評価平均：★★★ (2.5) → レビューをチェック

著者：吉岡信和, 青木利晃, 田原康之
出版社：近代科学社
発売日： 2018年03月23日

昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の……続きを見る

価格：3,960円

レビュー件数：1 / 評価平均：★★★★★ (5.0) → レビューをチェック

［この電子書籍は固定型レイアウトです。リフロー型と異なりビューア機能が制限されます］固定型レイアウトはページを画像化した構造であるため、ページの拡大縮小を除く機能は利用できません。また、モノクロ表示……続きを見る

価格：2,310円

レビュー件数：8 / 評価平均：★★★ (2.75) → レビューをチェック

著者：長谷川哲夫, 田原康之, 磯部祥尚
出版社：近代科学社
発売日： 2018年03月23日

UPPAALは，モデル検査ツールとしては比較的利用が容易ではあるが，実際の開発には多くのハードルがある．本書では，そのようなハードルを乗り越えるために必要な，UPPAALツール，時間オートマトン，検証したい性質……続きを見る

価格：4,180円

田原 - その他 1