B.S. · William Stoddart · Wolfgang Grieskamp;Bill Stoddart
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings | 978-3-540-41196-3 (3-540-41196-8) | 2008 | Wolfgang Grieskamp;Thomas Santen |
| Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected ... Computer Science and General Issues) | 978-3-540-34750-7 (3-540-34750-X) | 2008 | Steve Dunne |