title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
---|---|---|---|---|
ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings | 978-3-540-51635-4 (3-540-51635-2) | 2010 | Carlo Ghezzi | |
Formal Specification and Implementation Using Z | 978-0-13-326380-0 (0-13-326380-0) | 1993 | ||
Software Engineering Environments: Automated Support for Software Engineering | 978-0-07-707432-6 (0-07-707432-7) | 1993 | Alan W. Brown · Anthony N. Earl |
A.M. · J. A. · J A. M · J.M. · John A. · John M. · John McDermid
McGraw-Hill · Prentice Hall · Springer