Software Abstractions: Logic, Language, and Analysis (The MIT Press)
詳しい情報
出版社: Mit Pr(2011-11-04)
ハードカバー: 354 ページ / 1.9 x 15.9 x 22.9 cm
ISBN-10: 0262017156 ISBN-13: 9780262017152
出版社: Mit Pr(2011-11-04)
ハードカバー: 354 ページ / 1.9 x 15.9 x 22.9 cm
ISBN-10: 0262017156 ISBN-13: 9780262017152