本文へスキップします。

H1(アンカー付き)

書籍検索結果

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

1件~2件(全2件)

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

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

著者:中島 震

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

ISBN:978-4-274-21188-1

発売日:2012/04/20

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
発売年月
月 から
月 までの期間
【全】フロートメニュー