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

文档格式：PDF　文档大小：263.96KB　文档页数：6

上海建桥学院：信息技术学院《程序设计语言》课程教学大纲 The Language of computer Programming

文档格式：PPT　文档大小：108.5KB　文档页数：13

知识点回顾 1数据类型基本类型构造类型指针类型空类型

文档格式：PPT　文档大小：96.5KB　文档页数：6

知识点回顾--If的使用 If的三种语法条件语句格式: if(条件)

文档格式：PPT　文档大小：1.23MB　文档页数：20

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

文档格式：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

文档格式：PDF　文档大小：767.48KB　文档页数：203

《程序设计语言的形式语义》课程教学资源（文献资料）An Introduction to Separation Logic（Preliminary Draft）

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

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