Mosses, Peter.
概要
| 作品: | 3 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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)
(書目-電子資源)
Semantics and algebraic specificationessays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
by:
Mosses, Peter.; Palsberg, Jens.; SpringerLink (Online service)
(書目-電子資源)
CASL reference manualthe complete documentation of the Common Algebraic Specification Language /
by:
Mosses, Peter.; SpringerLink (Online service)
(書目-電子資源)
主題
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.