Steve E Schneider

The B-method (Cornerstones of Computing)

This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The ...

Modelling & Analysis of Security Protocols

Security protocols are one of the most critical elements in enabling the secure communication and processing of information, ensuring its confidentiality, integrity, authenticity and availability. These protocols are vulnerable to a host of subtle attacks, so designing protocols to be impervious to ...

That's All Folks! The Art of Warner Bros, Animation

Concurrent and Real-time Systems: The CSP Approach

The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifications and designs to be clearly expressed a...

Robert F. Kennedy

"What we need in the United States is not division; what we need in the United States is not hatred; what we need in the United States is not violence or lawlessness, but love and wisdom, and compassion toward one another..." -Robert F. KennedyIt was this message that Robert Kennedy took to the Amer...

Two-Fingers and the White Guy

The book is an examination of life on an Indian reservation. It is a story of sadness as well as unbridled joy. It is a story of deprivation and bounty. It is a story of love and hate. It is a story of life as witnessed by two friends growing up in a dysfunctional setting. Two-Fingers is a Blackfeet...

That's All Folks: The Art of Warner Bros. Animation (Owl Books)

Here is the first comprehensive record of the classic Warner Bros. cartoon studio, wonderfully and richly illustrated in full color. "This comic valentine offers impeccable research, interviews wiuth the animated geniuses who breathed life and laughter into their Looney Tunes, and hundreds of rare i...

That's All Folks: The Art of Warner Bros. Animation

That's All Folks: The Art of Warner Bros. Animation

Formal Aspects of Security: First International Conference, Fasec 2002, London, Uk, December 16-18, 2002 Revised Papers

ZB 2005 Formal Specification And Development in Z And B: 4th International Conference of B And Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Formal Aspects in Security And Trust: Third International Workshop, Fast 2005, Newcastle upon Tyne, Uk, July 18-19, 2005, Revised Selected Papers