Results for “Michael J. C. Gordon”
370 books found
Books
Programming Language Theory and Its Implementation (PHI Series in Computer Science)
Michael J. C. Gordon
1993
The denotational description of programminglanguages
Michael J. C. Gordon
1979
The denotational description of programming languages
Michael J. C. Gordon
1979
LCF-LSM: a system for specifying and verifying hardware
Michael J. C Gordon
1983
Proving a computer correct with the LCF-LSM hardware verification system
Michael J. C Gordon
1983
Edinburgh LCF
Michael J. C. Gordon
1979
Programming language theory and its implementation
Michael J. C. Gordon
1988
The Denotational Description of Programming Languages
Michael J. C. Gordon
1979
The denotational description of programming languages
Michael J. C. Gordon
1979
Introduction to HOL
Michael J. C. Gordon
1993
Essais
Montaigne, Michel de
1600
Hellenosemitica
Michael C. Astour
1965
The economics of energy
Michael Gordon Webb
1980
Michael Faraday
J. Gordon Cook
1963
Contemporary Authors
Michael J. Tyrkus
2012
"Tomorrow is another day"
Michael C. Prusse
1997
"Cancer incidence and mortality in Northeastern Ontario, 1991-1998" by Michael S.C. Conlon, Nancy E. Lightfoot, Randy J. Bissett, and Gordon M. Fehringer
M.S.C Conlon
Hunting Humans
Michael Newton
1990
Hans Andersen's Fairy Tales
Hans Christian Andersen
1846
The encyclopedia of serial killers
Newton, Michael
2000