カテゴリから探す
1 ~6件目/全6件
並行システムの検証と実装
著者: 磯部 祥尚 他
――
5,060円(税込)
UPPAALによる性能モデル検証
著者: 長谷川 哲夫 他
4,180円(税込)
VDM++による形式仕様記述
著者: 石川 冬樹 他
SPINによる設計モデル検証
著者: 吉岡 信和 他
3,960円(税込)
ソフトウェアパターン
著者: 鷲崎弘宜 他
Bメソッドによる形式仕様記述
著者: 来間 啓伸 他
・キャンペーンの内容や期間は予告なく変更する場合があります。 ・コインUP表示がある場合、ご購入時に付与されるキャンペーン分のコインは期間限定コインです。詳しくはこちら ・決済時に商品の合計税抜金額に対して課税するため、作品詳細ページの表示価格と差が生じる場合がございます。
ページ先頭へ
本を予約しました
※予約の確認・解除はこちらから
予約済み書籍
キャンセル及び解除等
発売日前日以降のキャンセル・返品等はできません。予約の確認・解除、お支払いモード、その他注意事項は予約済み書籍一覧をご確認ください。