分享给好友:
Practical Formal Software Engineering: Wanting the Software You Get Bruce Mills
Practical Formal Software Engineering: Wanting the Software You Get
Bruce Mills
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
查看Bruce Mills的全部作品 ( 例如 Paperback Book 及 Hardcover Book )