الصفحة 21
الصفحة 21
Abstract State Machines, B and Z ; 1st International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008.
A Testers Guide to .NET Programming
A Tester's Guide to .NET Programming focuses solely on applied programming techniques for testers. You will learn how to write simple automated tests, enabling you to test tools and utilities. You will also learn about the important concepts driving modern programming today, like multitier applications and object-oriented programming. More businesses are adopting .NET technologies, and this book will equip you to assess software robustness and performance. Whether you're an experienced programmer who's unfamiliar with testing concepts, or you're an experienced tester versed in VB .NET and C#, the included real-world tips and example code will help you start your projects.
A Platform-Centric Approach to System-on-Chip (SOC) Design
The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan for its implementation. The proposed plan allows component vendors, system integrators and product developers to collaborate effectively and efficiently to create complex products within budget and schedule constraints.
A Modular Calculus for the Average Cost of Data Structuring
This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, including the first randomness-preserving version of Heapsort. Programs are provided, along with derivations of their average-case time, to illustrate the radically different approach to average-case timing. The automated static timing tool applies the Modular Calculus to extract the average-case running time of programs directly from their MOQA code.
A first course in differential equations with modeling applications
A comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous manner. Including various examples from physics, mechanics, natural sciences, engineering and automatic theory, Differential Equations is a bridge between the abstract theory of differential equations and applied systems theory.
A Concise Introduction to Languages and Machines
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Computer Science.
.NET Test Automation Recipes : A Problem-Solution Approach
If you develop, test, or manage .NET software, you will find .NET Test Automation Recipes: A Problem-Solution Approach very useful. The book presents practical techniques for writing lightweight software test automation in a .NET environment and covers API testing thoroughly. It also discusses lightweight, custom Windows application user interface automation and teaches you low-level web application user interface automation. Additional material covers SQL stored procedure testing techniques.
