メニュー


大岡山駅前 東工大正門

◎当店を紹介頂きました

『散歩の達人』
2014年3月号

『リサイクル通信』
2014年6月10日号

古本屋ツアー・イン・ジャパン

ピタットハウス大岡山店丸栄商事さんブログ

メーカー別

特定商取引法表示
トップページ ｜ 販売済み ｜ 抽象によるソフトウェア設計　Ａｌｌｏｙではじめる形式手法
詳細

抽象によるソフトウェア設計　Ａｌｌｏｙではじめる形式手法

価格: 3,465円(税別)
(税込: 3,811円)
定価: 4,725円
［古本］状態：並上

著者/訳者 Ｄａｎｉｅｌ　Ｊａｃｋｓｏｎ／著　中島震／監訳　今井健男／共訳　酒井政裕／共訳　遠藤侑介／共訳　片岡欣夫／共訳
出版社名 オーム社
発行年月 2011年07月
978-4-274-06858-4
20110923/20111125

ざっと一巡り
論理系
言語
解析
事例
練習問題
Ａｌｌｏｙ言語リファレンス
中核の意味論
図的記法
Ａｌｌｏｙ以外の手法
Ａｌｌｏｙ　Ａｎａｌｙｚｅｒクイックガイド
訳語一覧