Steve Sanders · Steve Saunders · Steve Smothermon · Steve Sonderman
Aurum Press Ltd · John Wiley & Sons · Palgrave Macmillan · Springer Berlin Heidelberg
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Concurrent and Real Time Systems: The CSP Approach | 978-0-471-62373-1 | 1999 | ||
| Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers | 978-3-540-20693-4 | 2003 | Ali E. Abdallah · Peter Ryan | |
| That's All Folks!: Art of Warner Bros.Animation | 978-1-85410-083-2 | 1991 | ||
| That's All Folks: The Art of Warner Bros. Animation | 978-0-8050-0889-0 | 1988 | ||
| The B-method | 978-0-333-79284-1 | 2001 | ||
| 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 | 978-3-540-25559-8 | 2008 | Helen Treharne · Martin Henson · Steve King | |