3 电子书 Peter D. Mosses
Peter D. Mosses: CASL Reference Manual
CASL, the Common Algebraic Specification Language, was designed by the members of Co FI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language …
PDF
英语
DRM
€114.61
Michel Bidoit & Peter D. Mosses: CASL User Manual
CASL, the Common Algebraic Specification Language, was designed by the members of Co FI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language …
PDF
英语
DRM
€57.88
Masami Hagiya & Takayasu Ito: Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
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 developme …
PDF
英语
DRM
€115.19