计算机程序设计语言文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：707.43KB　文档页数：193

Program Specifications using Hoare’s Notation Inference Rules of Hoare Logic Automated Program Verification Soundness and Completeness Discussions

文档格式：PDF　文档大小：379.12KB　文档页数：50

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）06_Denotational Semantics

文档格式：PPT　文档大小：2.3MB　文档页数：52

1 Java的基本语法单位 2 Java编码体例 3 Java的基本数据类型 4 复合数据类型 5 类和对象的初步介绍

文档格式：PDF　文档大小：329.44KB　文档页数：85

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）05_Operational Semantics

文档格式：PPTX　文档大小：356.78KB　文档页数：76

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）04_Lambda Calculus

文档格式：PDF　文档大小：194.8KB　文档页数：22

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）09_Shared-Variable Concurrency

文档格式：PDF　文档大小：2.15MB　文档页数：38

Sets Relations Functions Products Sums

文档格式：PPTX　文档大小：131.06KB　文档页数：10

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）02_CoqOverview

文档格式：PPT　文档大小：6.96MB　文档页数：39

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）01_Introduction（主讲：冯新宇）Formal Semantics of Programming Languages

文档格式：PPT　文档大小：1.53MB　文档页数：53

一、AWT 二、Java抽象窗口工具集（Abstract WindowToolkit，简称AWT）