Springer Berlin Heidelberg · Springer Vienna
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| BCS-FACS Northern Formal Methods Workshop. Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996 | 978-3-540-76117-4 (3-540-76117-9) | 1997 | C. J. Van Rijsbergen · A. S. Evans |
| Design, Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 | 978-3-211-83405-3 (3-211-83405-2) | 1999 | A. Puerta |
D D · D. J. · David J. Duke · Dr James A Duke · J.D.