|
|
|
|
|
|
|
Acres of Skin: Human Experiments at Holmesburg PrisonIn the first expose of unjust medical experimentation since David Rothman's Willowbrook's Wars, Allen M. Hornblum releases devastating stories from within the walls of Philadelphia's Holmesburg Prison. For more than two decades, from the mid-1950s through the mid-1970s, inmates were used, in exchange for a few dollars, as guinea pigs... | | Software Verification and Analysis: An Integrated, Hands-On ApproachThis book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).
Three major software verification techniques are discussed: Semantic program synthesis and... | | |
|
|
Result Page: 177 176 175 174 173 172 171 170 169 168 167 166 165 164 163 162 161 160 159 |