title | ISBN-13 | year of publica- tion | other author(s) |
---|---|---|---|
Algebraic Semantics of Imperative Programs | 978-0-262-07172-7 | 1996 | Grant Malcolm |
Art and the Brain, III | 978-0-907845-98-0 | 2004 | Erik Myin |
Art and the Brain, II: Investigations into the Science of Art | 978-0-907845-12-6 | 2000 | " |
Requirements Engineering: Social and Technical Issues | 978-0-12-385335-6 | 1994 | Marina Jirotka · Andrew F. Monk · Brian R. Gaines |
Research Directions in Object-Oriented Programming | 978-0-262-19264-4 | 1987 | Gul Agha · David Beech · Daniel G. Bobrow · Ole-Johan Dahl · Brent Hailpern · Kenneth M. Kahn · Ole Lehrmann Madsen |
Software Engineering with OBJ: Algebraic Specification in Action | 978-0-7923-7757-3 | 2000 | Grant Malcolm |
A.G. · J. A. · J. G. · Joseph A. · Joseph-G · Joseph Goguen
Academic Press · Imprint Academic · Springer · The MIT Press