This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is e

The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has

True or false? In selling high-value products or services: 'closing' increases your chance of success; it is essential to describe the benefits of your product

This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol

Go beyond PR spin! Master better ways to communicate honestly and regain the trust of your customers and stakeholders with this book.