Home Advanced Search

Advanced Search - Page 1

Semantic Domains and Denotational Semantics
  • PDF
  • English
  • Year: 1989
  • Author: Carl A. Gunter, Peter D. Mosses, Dana S. Scott
Action Semantics
  • PDF
  • English
  • Year: 2005
  • Author: Peter D. Mosses
Action Semantics
  • DJVU
  • English
  • Year: 2005
  • Author: Peter D. Mosses
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (eds.)
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (eds.)
Semantics of Programming Languages: Structures and Techniques
  • PDF
  • English
  • Year: 1992
  • Author: Carl A. Gunter
Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)
  • PDF
  • English
  • Author: Carl A. Gunter
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Hartmut Ehrig, Bernd Mahr (auth.), Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.)
A Compendium of Continuous Lattices
  • PDF
  • English
  • Year: 1980
  • Author: Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott (auth.)
A Compendium of Continuous Lattices
  • PDF
  • English
  • Year: 1980
  • Author: Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott (auth.)
search