Peter Mosses Books

Action Semantics
Action Semantics

By Peter D. Mosses, Peter Mosses

Average: 0.00, 0 Ratings

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
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.)

Average: 0.00, 0 Ratings

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
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.)

Average: 0.00, 0 Ratings

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
Action Semantics
Action Semantics

By Peter Mosses

Average: 0.00, 0 Ratings

Read More
Recent Trends In Algebraic Development Techniques
Recent Trends In Algebraic Development Techniques

By Christine Choppy, Didier Bert, Peter Mosses

Average: 0.00, 0 Ratings

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
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.)

Average: 0.00, 0 Ratings

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
Casl Reference Manual

By Peter D. Mosses, Peter Mosses

Average: 0.00, 0 Ratings

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

Related Articles from our Blog

What is an EAN and How Does it Relate to an ISBN?

If you’ve ever purchased a product online or in a store, you’ve likely come across a barcode. Behind these barcodes lies a standardized system that makes modern commerce possible. Two key codes often encountered are the EAN (European Article Number) and ISBN (International Standard Book Number). But what are they, how are they connected, and why are they so crucial? Let’s explore.

Read More