本文へスキップします。

H1(アンカー付き)

書籍検索結果

書籍DB:一覧
検索項目
著者名 酒井 政裕

1件~2件(全2件)

型システム入門 プログラミング言語と型の理論

型システム入門 プログラミング言語と型の理論

著者:Benjamin C. Pierce住井 英二郎 監訳遠藤 侑介酒井 政裕今井 敬吾黒木 裕介今井 宜洋才川隆文今井 健男

定価:7,480円 (本体6,800円+税)

ISBN:978-4-274-06911-6

発売日:2013/03/26

  • ダウンロード
抽象によるソフトウェア設計 ―Alloyではじめる形式手法

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

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

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

ISBN:978-4-274-06858-4

発売日:2011/07/15

 
エディタV2

検索条件を変更する

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