Peter D. Mosses

Identifiers

Open LibraryOL2682697A

Top Subjects

Programming languages (electronic computers) (1)
Programming Languages - General (1)
Programming languages (Electronic computers) (1)
Computers - Languages / Programming (1)
Mathematical theory of computation (1)
Computers (1)
General (1)

Books by Peter D. Mosses

Total count: 5

Action semantics

Cambridge University Press1992-01-01
Tapsoft '95: Theory and Practice of Software Development : 6th International Joint Conference Caap/Fase Aarhus, Denmark, May 22-26, 1995 Proceedin (Lecture Notes in Computer Science)

Springer1995-04-01
CASL User ManualIntroduction to Using the Common Algebraic Specification Language

Springer London, Limited2003-01-01
CASL Reference ManualThe Complete Documentation of the Common Algebraic Specification Language

Springer London, Limited2004-01-01
Action Semantics (Cambridge Tracts in Theoretical Computer Science)New Ed edition

Cambridge University Press2005-02-17