Peter D. Mosses – författare
Visar alla böcker från författaren Peter D. Mosses. Handla med fri frakt och snabb leverans.
8 produkter
Action Semantics
Av Peter D. Mosses, C. J. van Rijsbergen
Häftad, 2005
972 kr
Lägg i varukorg
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its …
CASL User Manual
Introduction to Using the Common Algebraic Specification Language
Av Michel Bidoit, Peter D. Mosses
Häftad, 2004
568 kr
Lägg i varukorg
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 language for practical use in software development for specifying both requirements and design. CASL is …
CASL Reference Manual
The Complete Documentation of the Common Algebraic Specification Language
Häftad, 2004
1129 kr
Lägg i varukorg
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 language for practical use in software development for specifying both requirements and design. CASL is …
CASL Reference Manual
The Complete Documentation of the Common Algebraic Specification Language
E-bok, 2004
1502 kr
Lägg i varukorg
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 language for practical use in software development for specifying both requirements and design. CASL is …
CASL User Manual
Introduction to Using the Common Algebraic Specification Language
Av Peter D. Mosses, Michel Bidoit
E-bok, 2003
755 kr
Lägg i varukorg
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 language for practical use in software development for specifying both requirements and design. CASL is …
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings
Av Takayasu Ito, Peter D. Mosses m. fl.
E-bok, 2000
1502 kr
Lägg i varukorg
In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the development of theoretical computer science as a fundamental science and to promote the exploration of …
TAPSOFT '95: Theory and Practice of Software Development
6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
Av Peter D. Mosses, Mogens Nielsen m. fl.
Häftad, 1995
1129 kr
Lägg i varukorg
This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together …
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings
Av Jan van Leeuwen, Osamu Watanabe m. fl.
Häftad, 2000
1129 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000.The 32 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 70 submissions. The papers are …
