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
Paperback:
9783319395548 | Springer-Verlag New York Inc, June 25, 2016, cover price $119.00
Paperback:
9783540326281 | Springer-Verlag New York Inc, March 15, 2006, cover price $99.00
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
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.
(view table of contents)
Paperback:
9783540206934 | Springer-Verlag New York Inc, February 1, 2004, cover price $89.99
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)
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.
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
displaying 1 to 6 |
at end