Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which ...

Learn how to use stories and visuals to make top-notch presentations It's called CAST (Content, Audience, Story, & Tell) and it's been a quiet success, until now. Developed over a twelve year period as a presentation method to help Enterprise Architects, it was adopted by Microsoft Enterprise Architecture teams and filtered from IT managers to Sales, and beyond to major organizations around the world. Now, thanks to this unique book from an expert author team that includes two Microsoft prese...

The new fourth edition of Principles of Business Information Systems features new cases, new questions and assignments and the latest technologies, whilst retaining its comprehensive coverage of Information Systems issues. It also boasts a wealth of real world examples from a broad range of countries and updated coverage of IT and technological issues, making it perfect for courses that prepare students for the modern corporate world.

A ground-up approach to foundational computer science.Computer Science: An Overview, 13th edition, is an introduction for students of all backgrounds. This edition contains over 1,000 questions and exercises to reinforce core concepts.This text is comprehensive and highly accessible, making it ideal for undergraduate studies in computer science.

Reveals how Web sites, software applications, and mobile devices can be used to change people's attitudes and behavior. This book contains key term definitions in persuasive computing. It provides frameworks for understanding this domain. It describes real examples of persuasive technologies.