图书目录大全

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

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

Mosses, Peter D. 编作者

译者

2004-4 出版日期

528 页数

926.00元价格

丛书系列

9783540213017 图书编码

CASL Reference ManualCASL参考手册在线电子书图书标签:

喜欢 CASL Reference ManualCASL参考手册在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-10

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

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

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

CASL Reference ManualCASL参考手册在线电子书用户评价

评分☆☆☆☆☆

CASL Reference ManualCASL参考手册在线电子书著者简介

CASL Reference ManualCASL参考手册在线电子书图书目录

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

CASL Reference ManualCASL参考手册在线电子书图书描述

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 在线电子书下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!