Applied Formal Verification (Electronic Engineering)

出版社: McGraw-Hill Professional Pub(2005-04-01)

ハードカバー: 237 ページ / 15.2 x 2.0 x 22.9 cm

ISBN-10: 007144372X  ISBN-13: 9780071443722