Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - 2010年12月15日
如封面与标题不符，以标题为准

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools Softcover reprint of hardcover 1st ed. 2001 edition

价格
元 1.011
不含税

远程仓调货

预计送达时间 年6月8日 - 年6月18日

顾客评价：

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

其他版本：

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.

202 pages, 4 black & white illustrations, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2010年12月15日
ISBN13 9783642074783
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 190
商品尺寸 233 × 157 × 18 mm   ·   328 g
语言 德语  
译者 McKenzie, P.

查看B. Berard的全部作品 ( 例如 Hardcover Book 及 Paperback Book )