Grant Malcolm
3 published titles
Algebraic semantics of imperative programs
(Contributor)
1 edition
- ISBN: 026207172X
- MIT Press
- 1996
- Details
Software engineering with OBJ : algebraic specification in action
(Contributor)
1 edition
- ISBN: 0792377575
- Kluwer Academic
- 2000
- Details
Multidisciplinary approaches to visual representations and interpretations
(Contributor)
1 edition
- ISBN: 0444514635
- Elsevier
- 2004
- Details
