Peter Mosses Books
Action Semantics
By Peter D. Mosses, Peter Mosses
action Semantics Is A Comprehensive Introduction To The Semantics Of Programming Languages. It Will Be Of Use To Graduates Of Computer Science And Mathematics.
Read More
CASL Reference Manual: The Complete Documentation Of The Common Algebraic Specification Language
By Peter D. Mosses, Peter Mosses, Bernd Krieg-Brückner, Peter D. Mosses (Auth.), Peter D. Mosses (Eds.)
Casl, The Common Algebraic Specification Language, Was Designed By The Members Of Cofi, The Common Framework Initiative For Algebraic Specification And Development, And Is A General-purpose Languag...
Read More
Recent Trends In Algebraic Development Techniques: 17th International Workshop, Wadt 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
By Fernando Orejas, Peter Mosses, WADT 2004 (2004 Barcelona, Spain), Luiz Fiadeiro, WADT 2004, Reiko Heckel, Sebastian Thöne (Auth.), José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (Eds.)
This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004. The 14 revis...
Read More
Recent Trends In Algebraic Development Techniques
By Christine Choppy, Didier Bert, Peter Mosses
This Book Constitutes The Thoroughly Refereed Post-workshop Proceedings Of The 14th International Workshop On Algebraic Development Techniques, Wadt'99, Held In Toulouse, France In September 1999....
Read More
Recent Trends In Algebraic Development Techniques
By Fernando Orejas, José Luiz Fiadeiro, Peter Mosses, WADT 2004, Reiko Heckel, Sebastian Thöne (Auth.), José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (Eds.)
This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004. The 14 revis...
Read More
Casl Reference Manual
By Peter D. Mosses, Peter Mosses
Casl, The Common Algebraic Specification Language, Was Designed By The Members Of Cofi, The Common Framework Initiative For Algebraic Specification And Development, And Is A General-purpose Languag...
Read More