|
|
|
|
|
| | | | Formal Software DevelopmentThis 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 formal methods can help meet these challenges.
Formal methods have long been advocated for the... |
|
|
|
|
Result Page: 178 177 176 175 174 173 172 171 170 169 168 167 166 165 164 163 162 161 160 |