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