Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the...

Chapter 1 offers an overview of the basic computer technology. Each succeeding chapter, describes the problems in medicine, followed by a review in chronological sequence of why and how computers were applied to try to meet these problems. Only the technical aspects of computer hardware, software, and communications are discussed as they are...

• Master C++ features such as...

Now in its third edition, this best-selling book continues to bring you some of the best thinking on how to apply Oracle Database to produce scalable applications that perform well and deliver correct results. Tom Kyte and Darl Kuhn share a simple philosophy: "you can treat Oracle as a black box and just stick data into it, or you can...

• Provides you with coverage of all the new Visual Studio 2013...

Going "green" is becoming a major component of the mission for electronics manufacturers worldwide. While this goal seems simplistic, it poses daunting dilemmas. Yet, to compete effectively in the global economy, manufacturers must take the initiative to drive this crucial movement. Green Electronics Manufacturing: Creating...

This Oxford Handbook provides an overview of many of the topics that currently engage philosophers of physics. It surveys new issues and the problems that have become a focus of attention in recent years. It also provides up-to-date discussions of the still very important problems that dominated the field in the past.

...

Nearly every non-trivial application requires data persistence, and for an application of any significant size and scope, persistence is typically achieved using a database. If you’re building or maintaining any significant application and are using MySQL, this book is for you. For open source and other types of projects, the MySQL...

ASP.NET is a huge advance from previous incarnations of ASP, with one of its goals being pure HTML output that achieves maximum cross-browser compatibility. The server-side event architecture tends to engender this approach, but amid the first flush of excitement its often forgotten that theres still a place for rich clients and handling data...