Bertrand Meyer
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science Bertrand Meyer 2012 edition

Name: Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science
Price: 345 CNY
Availability: OutOfStock
Author: Bertrand Meyer

价格

元 345

不含税

远程仓调货

预计送达时间年7月20日 - 年7月30日

顾客评价：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

根据欧洲消费者保护法享受14天退换货政策

Trustpilot平台高分认证

添加至iMusic心愿单

Not rated yet

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science

Bertrand Meyer

2012 edition

The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.

190 pages, 31 black & white illustrations, biography

介质类型	图书 Paperback Book (平装胶订图书)
已发行	2012年11月30日
ISBN13	9783642357459
出版商	Springer-Verlag Berlin and Heidelberg Gm
分类	Aspects (Academic) > Science / Technology Aspects
页数	183
商品尺寸	155 × 235 × 15 mm · 272 g
语言	德语
编辑	Meyer, Bertrand
编辑	Nordio, Martin