本文へスキップします。

H1(アンカー付き)

書籍検索結果

書籍DB:一覧
検索項目
著者名 中島 震

1件~3件(全3件)

形式手法入門 -ロジックによるソフトウェア設計-

形式手法入門 -ロジックによるソフトウェア設計-

著者:中島 震

定価:3,080円 (本体2,800円+税)

ISBN:978-4-274-21188-1

発売日:2012/04/20

抽象によるソフトウェア設計 ―Alloyではじめる形式手法

抽象によるソフトウェア設計 ―Alloyではじめる形式手法

著者:Daniel Jackson中島 震 監訳今井 健男酒井 政裕遠藤 侑介片岡 欣夫

定価:4,950円 (本体4,500円+税)

ISBN:978-4-274-06858-4

発売日:2011/07/15

SPINモデル検査入門

SPINモデル検査入門

著者:Mordechai Ben-Ari中島 震 監訳谷津 弘一野中 哲足立 太郎

定価:3,630円 (本体3,300円+税)

ISBN:978-4-274-20844-7

発売日:2010/03/24

 
エディタV2

検索条件を変更する

書籍DB:検索
フリーワード
書名や資格試験名などを入力してください。
著者名
カテゴリ
ISBN
例)978-4-274-21382-3
発売年月
月 から
月 までの期間