CASL Reference ManualCASL参考手册 pdf epub mobi txt 电子书下载 2024

☆☆☆☆☆
简体网页||繁体网页

Mosses, Peter D. 编

2004-4

528

926.00元

9783540213017

图书标签:

喜欢 CASL Reference ManualCASL参考手册的读者还喜欢

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-12-29

CASL Reference ManualCASL参考手册 epub 下载 mobi 下载 pdf 下载 txt 电子书下载 2024

CASL Reference ManualCASL参考手册 pdf epub mobi txt 电子书下载 2024

图书描述

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 already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks.This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications.As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.

CASL Reference ManualCASL参考手册下载 mobi epub pdf txt 电子书