Jim Davies Book order

Focusing on the specification and verification of real-time systems, this book delves into the application of Communicating Sequential Processes (CSP). It presents research findings that explore how CSP can be effectively utilized to ensure the reliability and correctness of systems that operate within strict timing constraints, making it a valuable resource for researchers and practitioners in the field of computer science and systems engineering.

Millennial Reflections in Computer Science is a comprehensive overview of cutting-edge issues within computing science written by some of the most pre-eminent scientists available today.To mark the retirement of Sir Tony Hoare from Oxford University, some of the world's leading computer scientists gathered together for a three-day symposium. Organised by the University of Oxford, and sponsored by Microsoft Research, the symposium resulted in this remarkable collection of talks, papers, and essays.Some describe original research, others offer personal perspectiveson the field. Together, they comprise a unique insight into the past, present, and future of computer science.

This guide to advertising from the 1920s to the present day includes special features on cartoons, World War II advertising, Guinness advertising campaigns, including the toucan and Pure Genius, and the Festival of Britain.