Software Abstractions: Logic, Language, and Analysis作者: Daniel Jackson出版社/メーカー: The MIT Press発売日: 2006/03/24メディア: ハードカバー購入: 1人 クリック: 21回この商品を含むブログ (8件) を見る