 |
|
|
|
 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... |  |  Teach Yourself VISUALLY Photoshop CS4Are you a visual learner? Do you prefer instructions that show you how to do something — and skip the long-winded explanations? If so, then this book is for you. Open it up and you'll find clear, step-by-step screen shots that show you how to tackle more than 145 PhotoshopCS4 tasks. Each task-based spread covers a single technique, sure to... |  |  Human-Computer Interaction Fundamentals (Human Factors and Ergonomics)Hailed on first publication as a compendium of foundational principles and cutting-edge research, The Human-Computer Interaction Handbook has become the gold standard reference in this field. Derived from select chapters of this groundbreaking and authoritative resource, Human-Computer Interaction Fundamentals emphasizes... |
|
|
Result Page: 948 947 946 945 944 943 942 941 940 939 938 937 936 935 934 933 932 931 930 |