ERR_MNG
漫画（まんが）・電子書籍ならコミックシーモア！
コミックシーモアをご利用の際はWebブラウザの設定でJavaScriptを有効にしてください。
→設定方法はこちら
コミックシーモアをご利用の際はWebブラウザの設定でCookieを有効にしてください。
シーモアを楽しもう!
もっと見る
総合ランキング
全書籍から探す
3,800pt/4,180円(税込)
会員登録限定70%OFFクーポンで お得に読める！
会員登録して70%OFFで購入
お気に入りに追加
小説・実用書
ランキング
最新刊を見る
新刊自動購入
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保証することはできない。機能の実現や追加が比較的安易にできる時代になったからこそ、成長し続けるシステム全体の正常な動作を保証しうる開発検査手法の必要性が増している。 本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。
9784764903555
レビュー募集中！
レビュー投稿で最大1000pt!
1位
私が見た未来 完全版
2位
だって望まれない番ですから
3位
拝啓見知らぬ旦那様、離婚していただきます
4位
皇帝の薬膳妃 紅き棗と再会の約束
5位
わたしの幸せな結婚
6位
法医学ミステリー「ヒポクラテス」
7位
光学機器大全
8位
刀剣乱舞絢爛図録
9位
アラベスク後宮の和国姫
10位
京都伏見のあやかし甘味帖
11位
新装版 三国志
12位
NO．6［ナンバーシックス］再会＃1 【電子書籍特典ショートストーリー付】
13位
汝、星のごとく
14位
アニメ「オーバーロード」完全設定資料集
15位
彼女と彼の関係
16位
変な家2 ～11の間取り図～
17位
A3！ Official Memorial Book
18位
都会のトム＆ソーヤ
19位
ワイルドビースト
20位
フォース・ウィング
小説・実用書 > 小説・実用書
小説・実用書 > 本位田真一
小説・実用書 > 田中譲
小説・実用書 > 磯部祥尚
小説・実用書 > 粂野文洋
小説・実用書 > 櫻庭健年
小説・実用書 > 田口研治
小説・実用書 > 近代科学社
ERR_MNG
