Software Abstractions: Logic, Language, And Analysis
Software Abstractions: Logic, Language, and Analysis
- 作者: Daniel Jackson
- 出版社/メーカー: The MIT Press
- 発売日: 2006/03/24
- メディア: ハードカバー
- 購入: 1人 クリック: 21回
- この商品を含むブログ (8件) を見る
酔眼漂流読書日記
本と音楽と酒場と言葉
Software Abstractions: Logic, Language, and Analysis
