Thomas S. E. Maibaum
6 published titles
The specification of computer programs
(Contributor)
1 edition
- ISBN: 0201142260
- Addison-Wesley
- 1987
- Details
Handbook of logic in computer science
(Contributor)
3 editions
- ISBN: 0198537352
- Clarendon
- 1992
- Details
- ISBN: 0198537611
- Clarendon
- 1992
- Details
- ISBN: 0198537808
- Clarendon
- 1995
- Details
Handbook of logic in computer science. Vol. 3, Semantic structures
(Contributor)
1 edition
- ISBN: 019853762X
- Clarendon
- 1994
- Details
Fundamental approaches to software engineering : third international conference, FASE 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, German
(Contributor)
1 edition
- ISBN: 3540672613
- Springer
- 2000
- Details
Logic and algebraic methods
(Contributor)
1 edition
- ISBN: 0198537816
- Clarendon
- 2000
- Details
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University,
(Contributor)
1 edition
- ISBN: 3540205276
- Springer-Verlag
- 2003
- Details