内容简介
书名:Practical Formal Software Engineering: Wanting the Software You Get出版社:Cambridge University Press
作者:Bruce Mills
出版年份:2009
电子书格式: pdf
简介:Dive into the practical application of formal methods in software engineering with “Practical Formal Software Engineering”. This book, by Bruce Mills, provides a hands-on approach to building robust and reliable software. Learn how to use formal techniques for specification, design, and verification, enabling you to anticipate and mitigate software defects. Discover the benefits of formal methods in various software development contexts, from improving code quality to managing complexity.
ISBN:9780521879033, 05218
