 |
|
|
|
 |  |  Electrotherapeutic Devices: Principles, Design, and Applications
Electrotherapy is fast gaining mainstream acceptance, no doubt due to the growing mountain of clinical evidence demonstrating its effectiveness. To meet the growing demand for information, this scientifically rigorous guide gives healthcare professionals and engineers essential technical, biological, and clinical background together with... |  |  Software Abstractions: Logic, Language, and Analysis
As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.
One approach especially intrigued me. John Guttag and Jim... |
|
|
Result Page: 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 38 37 36 35 |