本
紙の本
Kindle
DVD
音楽
すべて
ブクログとは
新規会員登録
ログイン
トップ
新刊ニュース
ランキング
ブックリスト
談話室
ブクログ通信
サポート
お知らせ
ヘルプセンター
お問い合わせ
法人向け広告メニュー
NEW
『山田くんとLv999の恋をする』9巻が1位に!
ブクログ
>
DanielJackson
>
抽象によるソフトウェア設計 ―Alloyではじめる形式手法
抽象によるソフトウェア設計 ―Alloyではじめる形式手法 [Kindle]
著者 :
DanielJackson
中島震
今井健男
酒井政裕
遠藤侑介
片岡欣夫
オーム社
(2011年7月14日発売)
0.00
(0)
(0)
(0)
(0)
(0)
本棚登録 :
3
人
感想 :
0
件
本棚に登録
Amazon詳細ページへ
サイトに貼り付ける
本ページはアフィリエイトプログラムによる収益を得ています
Amazon.co.jp ・電子書籍
中島震の作品
ソフト・エッジ: ソフトウェア開発の科学を求めて (丸善ライブラリー)
中島 震
形式手法入門―ロジックによるソフトウェア設計―
中島 震
ソフトウェア工学から学ぶ 機械学習の品質問題
中島 震
優れたデザインにとってコンセプトが重要な理由: 使いやすく安心なソフトウェア...
中島 震
SPIN モデル検査: 検証モデリング技法
中島 震
SPINモデル検査入門
Mordecha...
AIリスク・マネジメント: 信頼できる機械学習ソフトウェアへの工学的方法論
中島 震
ソフトウェア工学 (放送大学大学院教材)
中谷 多哉子
デジタル・プラットフォーム解体新書
高梨 千賀子
Event-B: リファインメント・モデリングに基づく形式手法
中島 震
ソフトウェア工学から学ぶ 機械学習の品質問題
中島震
SPIN モデル検査:検証モデリング技法
中島 震
ソフトウェア工学から学ぶ 機械学習の品質問題
中島震
ソフト・エッジ
中島震
中島震の作品ランキング・新刊情報へ
最近本棚に登録した人
Daijyu Henri Takeishi
hanawaoritasi
Amazon
×