RSS,
Feed
eBooks Space Blog
Sitemap ,
eBooks Link
Add your Link
Cool eBook Library 
Many eBook for Free 
|
|
|
ZIP
eBook File
"1.18 MB"
, eBook Downloads [1064]
This book is intended for final-year undergraduate and postgraduate computing students specializing in the field of software
engineering.
The text concentrates on the challenges that high integrity software development poses, and how formalmethods can help meet these
challenges.
Formal methods have long been advocated for the development of high integrity software.
However, the ...
Download eBook Free »
|
 |
eBooks Page : 1 |