注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 南京理工大学程序设计与形式语义学课件

  2. 南京理工大学程序设计与形式语义学课件，感兴趣的可以下载看看！

  3. 所属分类：专业指导

    • 发布日期：2009-11-16
    • 文件大小：17825792
    • 提供者：moxibingdao

  1. 南京理工大学软件设计形式语义学

  2. 南京理工大学软件设计形式语义学课件，大家可以下载看看。

  3. 所属分类：专业指导

    • 发布日期：2009-11-16
    • 文件大小：9437184
    • 提供者：moxibingdao

  1. 07级吉林大学计算机研究生课程之《形式语义学》

  2. 07级吉林大学计算机研究生课程之《形式语义学》

  3. 所属分类：专业指导

    • 发布日期：2010-05-18
    • 文件大小：1048576
    • 提供者：morre

  1. 程序设计形式语义学-张琨

  2. 形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问。 为什么需要形式语义研究： 帮助理解语言； 支持语言标准化； 指导语言设计； 帮助编写编译器和语言系统； 支持程序验证和软件可靠性； 有助于软件规范化。

  3. 所属分类：专业指导

    • 发布日期：2010-11-23
    • 文件大小：8388608
    • 提供者：gaoyang9870

  1. semanticAll程序语义学入门

  2. 相关的关于形式语义学的书籍都是英文版的，现在将一中文版的形式语义学讲义上传，共分享。

  3. 所属分类：专业指导

    • 发布日期：2010-12-12
    • 文件大小：2097152
    • 提供者：xulongjian

  1. 吉林大学研究生《形式语义学》课件

  2. 吉林大学研究生《形式语义学》课件

  3. 所属分类：专业指导

    • 发布日期：2008-04-27
    • 文件大小：657408
    • 提供者：morre

  1. 形式语义课件 pdf 全文

  2. 形式语义学 课件形式语义课件 pdf

  3. 所属分类：数据库

    • 发布日期：2011-12-07
    • 文件大小：1048576
    • 提供者：cao060806110019

  1. 吉林大学08级研究生《形式语义学》课件

  2. 吉林大学08级研究生《形式语义学》课件

  3. 所属分类：专业指导

    • 发布日期：2008-06-29
    • 文件大小：1048576
    • 提供者：morre

  1. 吉林大学08级研究生《形式语义学》课件（课堂部分）

  2. 吉林大学08级研究生《形式语义学》课件（课堂部分）

  3. 所属分类：专业指导

    • 发布日期：2008-06-29
    • 文件大小：1048576
    • 提供者：morre

  1. 形式语义学（英文版）

  2. 老师指定的形式语义学参考书，英文版的 书：Formal Syntax and Semantics of Programming Languages 作者：Kenneth Slonneger University of Iowa；Barry L. Kurtz Louisiana Tech University

  3. 所属分类：专业指导

    • 发布日期：2012-08-10
    • 文件大小：1048576
    • 提供者：xiuchixc

  1. 2011年程序设计形式语义学试题

  2. 程序设计形式语义学，英文课程，本文档是2011年程序设计形式语义学试题

  3. 所属分类：专业指导

    • 发布日期：2015-12-13
    • 文件大小：47104
    • 提供者：zhouerba

  1. 2014年程序设计形式语义学试题

  2. 程序设计形式语义学，英文课，本文档是2014年程序设计形式语义学试题。

  3. 所属分类：专业指导

    • 发布日期：2015-12-13
    • 文件大小：61440
    • 提供者：zhouerba

  1. 南理工 S106B007 程序设计形式语义学课件

  2. 南理工 S106B007 程序设计形式语义学课件 南理工 S106B007 程序设计形式语义学课件

  3. 所属分类：讲义

    • 发布日期：2017-10-10
    • 文件大小：10485760
    • 提供者：wizardforcel

  1. 形式语义学PPT讲稿

  2. 研究生课程的形式语义学PPT讲稿，现在上完课了，传上来大家一起分享下吧！

  3. 所属分类：专业指导

    • 发布日期：2009-01-05
    • 文件大小：624640
    • 提供者：xiaomo6134

  1. 形式语义学

  2. 形式语义学的教科书两本:形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代开始发展出来的一个理论阵营。

  3. 所属分类：其它

    • 发布日期：2018-10-20
    • 文件大小：6291456
    • 提供者：songzgabc

  1. 形式语义学课程资料PPT

  2. 本课程的内容是程序设计理论的组成部分，它以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义。通过本课程的学习，使学生在计算机语言的形式语义学方面打下扎实的基础，掌握形式语义学的基本理论、基本方法和重要结论，并了解国内外最新研究动态、热点，为以后的研究做好准备。

  3. 所属分类：讲义

    • 发布日期：2020-01-02
    • 文件大小：9437184
    • 提供者：xiejimywei

  1. 形式语义学笔记zhh版.pdf

  2. 个人根据课程材料+自己的思考总结出来的笔记版的形式语义学，如有需要可以直接跟着笔记学习形式语义学这门课，希望对大家有所帮助，谢谢！

  3. 所属分类：讲义

    • 发布日期：2020-09-02
    • 文件大小：197132288
    • 提供者：qwezhaohaihong

  1. 基于分层定时自动机的UML / MARTE状态机的形式语义学

  2. 基于分层定时自动机的UML / MARTE状态机的形式语义学

  3. 所属分类：其它

    • 发布日期：2021-03-17
    • 文件大小：956416
    • 提供者：weixin_38557670

  1. 基于TLA +的兽人形式语义学

  2. 基于TLA +的兽人形式语义学

  3. 所属分类：其它

    • 发布日期：2021-03-12
    • 文件大小：541696
    • 提供者：weixin_38750999

  1. 基于TLA（+）的兽人形式语义学

  2. 基于TLA（+）的兽人形式语义学

  3. 所属分类：其它

    • 发布日期：2021-03-03
    • 文件大小：269312
    • 提供者：weixin_38631329
« 12 »