search for books and compare prices
Steve Schneider has written 6 work(s)
Search for other authors with the same name
displaying 1 to 6 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783319395548 Cover for 9780471623731 Cover for 9783540326281 Cover for 9783540206934 Cover for 9780805008890 Cover for 9780805014853 Cover for 9783540255598
Applied Cryptography and Network Security: 14th International Conference, Proceedings
cover image for 9783319395548
By Steve Schneider (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783319395548 | Springer-Verlag New York Inc, June 25, 2016, cover price $119.00

Concurrent and Real-Time Systems: The Csp Approach
cover image for 9780471623731
Product Description: 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 and understood, together with a supporting theory which allows them to be analyzed and shown to be correct...read more (view table of contents, read Amazon.com's description)
By Steve Schneider
See complete details on each edition (1 edition listed)

Paperback:

9780471623731 | John Wiley & Sons Inc, September 1, 1999, cover price $116.45 | About this edition: 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.

Formal Aspects in Security And Trust: Third International Workshop, Fast 2005, Newcastle upon Tyne, Uk, July 18-19, 2005, Revised Selected Papers
cover image for 9783540326281
By Theo Dimitrakos (editor), Fabio Martinelli (editor), Peter Y. A. Ryan (editor) and Steve Schneider (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540326281 | Springer-Verlag New York Inc, March 15, 2006, cover price $99.00

Formal Aspects of Security: First International Conference, Fasec 2002, London, Uk, December 16-18, 2002 : Revised Papers
cover image for 9783540206934
(view table of contents)
By Fasec 200 (other contributor), Peter Ryan (editor) and Steve Schneider (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540206934 | Springer-Verlag New York Inc, February 1, 2004, cover price $89.99

That's All Folks: The Art of Warner Bros. Animation
cover image for 9780805014853
Celebrates the cartoon characters created in the Warner Brothers Studios over the past forty years, detailing the figures and their creators
By Steve Schneider
See complete details on each edition (2 editions listed)

Hardcover:

9780805008890, titled "That's All Folks: The Art of Warner Bros. Animation" | Henry Holt & Co, October 1, 1988, cover price $39.95 | About this edition: Celebrates the cartoon characters created in the Warner Brothers Studios over the past forty years, detailing the figures and their creators

Paperback:

9780805014853, titled "That's All Folks: The Art of Warner Bros. Animation" | Rep edition (Henry Holt & Co, September 1, 1990), cover price $19.95

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
cover image for 9783540255598
Product Description: These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000, held at the University of York in the UK, ZB 2002, held at theLaboratoire Logiciels Syst` emes R´ eseaux within theInstitut d'Informatique et Math´ ematique Appliqu´ ees de Grenoble (LSR-IMAG) in Grenoble, France, and ? ZB 2003, held in Turku in Finland hosted by Abo Akademi University and the TurkuCentreforComputerScience(TUCS)...read more
By Martin Henson (editor), Steve King (editor), Steve Schneider (editor) and Helen Treharne (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540255598 | Springer Verlag, September 30, 2005, cover price $149.00 | About this edition: These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland.

displaying 1 to 6 | at end