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

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools 2001 edition

价格
元 1.188
不含税

远程仓调货

预计送达时间 年6月3日 - 年6月19日

顾客评价：

根据欧洲消费者保护法享受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.

190 pages, biography

介质类型 图书     Hardcover Book   (精装硬皮书)
已发行 2001年6月20日
ISBN13 9783540415237
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 190
商品尺寸 166 × 242 × 24 mm   ·   412 g
语言 英语   德语  
译者 McKenzie, P.

Mere med samme udgiver

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