Mosses, Peter

Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers by WADT 2004 ( Book )
7 editions published in 2005 in English and held by 334 libraries worldwide
"This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques."

Semantics and algebraic specification essays dedicated to Peter D. Mosses on the occasion of his 60th birthday ( Book )
6 editions published in 2009 in English and held by 276 libraries worldwide

Action semantics by Peter Mosses ( Book )
9 editions published between 1991 and 2005 in English and Undetermined and held by 257 libraries worldwide

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings by International Joint Conference on Theory and Practice of Software Development ( Book )
2 editions published in 1995 in English and held by 230 libraries worldwide

CASL reference manual : the complete documentation of the Common Algebraic Specification Language ( Book )
9 editions published in 2004 in English and held by 229 libraries worldwide

CASL user manual : introduction to using the Common algebraic specification language by M Bidoit ( Book )
7 editions published in 2004 in English and held by 217 libraries worldwide

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers by WADT '99 ( Book )
2 editions published in 2000 in English and held by 209 libraries worldwide

CASL user manual introduction to using the Common algebraic specification language CASL by M Bidoit ( Book )
2 editions published in 2004 in English and held by 25 libraries worldwide

The mathematical semantics of Algol 60 by Peter Mosses ( Book )
2 editions published in 1974 in English and held by 24 libraries worldwide

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers by José Luiz Fiadeiro ( Book )
2 editions published in 2005 in English and held by 17 libraries worldwide