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

文档格式：PPT　文档大小：1.9MB　文档页数：29

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（2/3）

文档格式：PPT　文档大小：1.63MB　文档页数：27

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（1/3）

文档格式：PPTX　文档大小：822.54KB　文档页数：60

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）10_Simply-Typed Lambda Calculus

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

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

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

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

文档格式：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　文档大小：1.53MB　文档页数：53

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

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

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

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

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