|
|
|
|
| | 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... | | Nokia Network Security Solutions HandbookThe Nokia Network Security Solutions Handbook introduces readers to both the basics and the finer points of administering, configuring, and securing the Nokia IP-series hardware appliances. It introduces readers to the different hardware models and covers the features associated with each. Installation and setup are discussed in detail, as well as... |
|
|
|
|
|
Result Page: 109 108 107 106 105 104 103 102 101 100 99 98 97 96 95 94 93 92 91 |