This widely anticipated third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic and nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs. The...

Now that you've got a wireless network going, you're getting the urge to see what else it can do, right? Hook up with this book and find simple, fun ways to expand its possibilities. Add your home...

The modern field of nonvolatile digital information storage is a bit more than a half-century old. During its history, the field has seen a small handful of technologies (magnetic tape, magnetic hard disk, magnetic flexible disk, consumer-derived optical disk) take root as ‘mainstream’. These technologies have persisted in the...

This is a manifesto and practical guide for all business people, those involved in marketing and even those who think they're not. These are the folks who have witnessed that the shift in power from business to consumer has dulled the traditional tools of marketing. Our book introduces a radical new approach, and new lexicon, to a...

Photoshop Elements is the top selling consumer photo editing software and Adobe continues to add innovative features that allow digital photo enthusiasts to do it all. This value-packed reference combines nine content-rich minibooks in one...

Digital electronic circuits are the engines of cell phones, MPEG players, digital cameras, com puters, data servers, personal digital devices, GPS displays, and many other consumer prod ucts that process and use information in a digital format. This book presents a basic treatment of digital circuits and the fundamental concepts used in their...

The New York Times called this book "an excellent source of information." The Thyroid Sourcebook features patient narratives; information on the complications of hypo- and hyperthyroidism, such as...