内容简介

书名: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

下载地址

猜你喜欢

大家都喜欢

热门推荐