下载 >  课程资源 >  专业指导 > The formal semantics of programing language

The formal semantics of programing language 评分:

In giving a formal semantics to a programming language we are concerned with building a mathematical model. Its purpose is to serve as a basis for understanding and reasoning about how programs behave. Not only is a mathematical model useful for various kinds of analysis and verification, but also, at a more fundamental level, becau se simply the activity of trying to define the meaning of program constructions precisely can reveal all kinds of subtleties of which it is important to be aware. This book introduces the mathematics, techniques and concepts on which formal semantics rests.
...展开详情收缩
2011-06-08 上传大小:6.24MB
想读
分享
收藏 举报
Formal Programming Language Semantics note 1

Formal Programming Language Semantics note 1

立即下载
Formal Programming Language Semantics note 2

Formal Programming Language Semantics note 2

立即下载
the formal semantics of programming language: an introduction

本书为英文原版,内容包括程序语言设计的基本原理,以及关于语言设计的形式化语义的描述理论基础,内容较为专业,却是一本非常优秀的关于形式化语义的教材!

立即下载
编译器设计

Addison Wesley - Compiler Design - Formal Syntax And Semantics Of Programming Language (1996)

立即下载
The Java Programming Language中文版

《 The Java Programming Language Third Edition》,《Java编程语言第4版》,中文版,不是很清晰,但绝对是好书。

立即下载
the c programming language(中文完整版)

the c programming language(中文完整版)

立即下载
The C Programming Language中文版+英文版 经典C编程书籍高清PDF+书签

C语言编程必看书籍之一,个人感觉入门用C和指针, 提升看The C Programming Language,习题加课后讲解认真做,C语言精通不是问题

立即下载
The C Programming Language中文版(绝对高清)

C语言经典,C语言规范,高清护眼正版,绝对清晰,C语言经典,C语言规范,高清护眼正版,绝对清晰

立即下载
《the C++ programming language》第四版中文版卷一2017

这是C++之父的呕心沥血之作,最权威,最能体现C++设计思想的教程,第四版支持C++11新特性。 中文版全书分两部分,这是第一部分,总计750页。

立即下载
The C++ Programming Language习题答案(清晰版)

djvu格式,短小精悍!欢迎大家下载,一起分享~~~~~~~

立即下载
The C Programming Language (第二版 中文版、英文原版、习题答案)

The C Programming Language是C语言的经典书籍,程序员必备的学习、参考资料,这里把第二版的中文、英文原版和习题答案、高清电子版一起打包。

立即下载
GO语言圣经中文版(The Go Programming Language) 高清彩色完整版

Go语言是谷歌2009发布的第二款开源编程语言。 Go语言专门针对多处理器系统应用程序的编程进行了优化,使用Go编译的程序可以媲美C或C++代码的速度,而且更加安全、支持并行进程。

立即下载
The C Programming language(双语版)

c程序设计语言压缩包包含了英文版和中文版

立即下载
The Formal Semantics of Programming Languages

The Formal Semantics of Programming Languages pdf格式.

立即下载
The C Programming Language中文版和英文版两版.rar

C语言之父经典著作,堪称C语言圣经 內容列表 Table of Contents Preface.......................................................... Preface to the first edition..................................... Introduction..................................................... Chapter 1 - A Tutorial Introduction.............

立即下载
The C++ Programming Language 第四版 清晰版

The C++ Programming Language_4th 最经典的 C++ 教材 C++ 之父的著作 最新版pdf 清晰版 英文版

立即下载
aybook.cn_the c++ programing language 1223.rar

电子书大小: 4.00MB 电子书语言: 简体中文 the c++ programing language the c++ programing language the c++ programing language the c++ programing language the c++ programing language

立即下载
The C Programming Language 第二版 pdf(中英文版本+习题解答)

The C Programming Language 第二版新版,文件为电子版的pdf文件,非扫描版,压缩包内包括了中文版和英文版,还有习题解答(习题为英文版,都是程序代码,不影响阅读)。

立即下载
The C Programming Language (K&R) 中文版

C语言

立即下载
The Java Programming Language 4E

The Java Programming Language 4E 英文第四版

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

The formal semantics of programing language

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
3 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: