Howard Bowman
3 published titles
Formal methods for distributed processing : a survey of object-oriented approaches
(Contributor)
1 edition
- ISBN: 0521771846
- Cambridge University Press
- 2001
- Details
Connectionist models of cognition and perception II : proceedings of the Eighth Neural Computation and Psychology Workshop : University of Kent, UK, 28-30 August 2003
(Contributor)
1 edition
- ISBN: 9812388052
- World Scientific
- 2004
- Details
Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems
1 edition
- ISBN: 9781852338954
- Springer
- 2006
- Details
