程序设计语言的形式语义在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

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

Glynn Winskel 作者

中信出版社机械工业出版社

宋国新等译者

2004-1 出版日期

283 页数

32.00元价格

平装

计算机科学丛书丛书系列

9787111131533 图书编码

程序设计语言的形式语义在线电子书图书标签: 计算机科学形式语义编程语言计算机程序设计语言编程理论语义

喜欢程序设计语言的形式语义在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

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

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-22

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

程序设计语言的形式语义在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

程序设计语言的形式语义在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

程序设计语言的形式语义在线电子书用户评价

评分☆☆☆☆☆

已购.

评分☆☆☆☆☆

入门级别的经典！！

评分☆☆☆☆☆

入门级别的经典！！

评分☆☆☆☆☆

看了1-7章

评分☆☆☆☆☆

我要回头玩技术~~~

程序设计语言的形式语义在线电子书著者简介

程序设计语言的形式语义在线电子书图书目录

程序设计语言的形式语义在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

程序设计语言的形式语义在线电子书图书描述

本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。

　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概念，这些知识可以用于创造、形式化和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材，也可作为软件开发人员的参考书。

程序设计语言的形式语义在线电子书下载 mobi epub pdf txt 在线电子书下载

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

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!