Menu

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

obnb.uk is a Good Stuff website.