and... and... and...

This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given.

This book provides a detailed analysis, within an EU setting, of what we may mean by the phrase `consumer citizen'. It examines the characterisations of the consumer in EU law and policy and argues th

"A sweeping look at what grabs our attentions that pulls back the curtain on the psychological and evolutionary reasons that everyone is drawn to religion, conspiracy theories, and the news"--

Written by an Information Technology Infrastructure Library (ITIL) consulting and training expert, this all-new guide helps you pass the ITIL v3 Foundation certification exam and serves as an on-the-j

We don’t think of imagination the way that we should. The word is often only associated with children, artists and daydreamers, but in reality, imagination is an integral part of almost every action a