Practical Formal Software Engineering: Wanting the Software You Get - Bruce Mills - 图书 - Cambridge University Press - 9781108818643 - 2019年12月19日
如封面与标题不符,以标题为准

Practical Formal Software Engineering: Wanting the Software You Get

价格
元 511
不含税

远程仓调货

预计送达时间 年6月30日 - 年7月16日
添加至iMusic心愿单

A textbook with a practical bent, for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between code in a physical machine and the logic applied in creating the software.


376 pages, Worked examples or Exercises; 6 Tables, unspecified

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2019年12月19日
ISBN13 9781108818643
出版商 Cambridge University Press
页数 376
商品尺寸 187 × 246 × 22 mm   ·   666 g

Bruce Mills的更多作品

显示全部

Mere med samme udgiver