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.

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.

What will you learn from this book?You know you don't want to reinvent the wheel, so you look to Design Patterns: the lessons learned by those who've faced the same software design problems. With Design Patterns, you get to take advantage of the best practices and experience of others so you can spend your time on something more challenging. Something more fun.

This book shows you the patterns that matter, when to use them and why, how to apply them to your own designs, and the object-oriente...