Mosses, Peter.
Overview
| Works: | 3 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Recent trends in algebraic development techniques14th international workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers /
by:
(1998 :); Bert, Didier.; Choppy, Christine.; Mosses, Peter.; SpringerLink (Online service)
(Electronic resources)
Recent Trends in Algebraic Development Techniques17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
(1998 :); Fiadeiro, Jose Luiz.; Mosses, Peter.; Orejas, Fernando.; SpringerLink (Online service)
(Electronic resources)
Semantics and algebraic specificationessays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
by:
Mosses, Peter.; Palsberg, Jens.; SpringerLink (Online service)
(Electronic resources)
CASL reference manualthe complete documentation of the Common Algebraic Specification Language /
by:
Mosses, Peter.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Abstract data types (Computer science)
Programming languages (Electronic computers)
Computer science
Computer Science.
CASL (Computer program language)
Symbolic and Algebraic Manipulation.
Mosses, Peter.