SPIN Model Checker, The: Primer and Reference Manual - Gerard Holzmann - 图书 - Pearson Education (US) - 9780321773715 - 2011年6月13日
如封面与标题不符，以标题为准

Gerard Holzmann
SPIN Model Checker, The: Primer and Reference Manual

商品到货时接收邮件提醒
Do you have a profile? 登录

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

Not rated yet

608 pages

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2011年6月13日
ISBN13 9780321773715
出版商 Pearson Education (US)
页数 608
商品尺寸 180 × 232 × 31 mm   ·   1,04 kg
语言 英语  

Mere med samme udgiver

查看Gerard Holzmann的全部作品 ( 例如 Paperback Book )