On a Formal Semantics of Tabular Expressions

Name: On a Formal Semantics of Tabular Expressions
Rating: 4.5 (39 reviews)
Author: hyonghk

上传者：hyonghk 2019-09-14 21:49:08上传 PDF文档文件 436KB 热度 39次

软件工程的形式化方法，这是序列二。DavidParnas教授的论文关于Tabular表达式的

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

On a Formal Semantics of Tabular Expressions

软件工程的形式化方法，这是序列二。DavidParnas教授的论文关于Tabular表达式的

大小：0B | 2019-09-14 21:49:08
The formal semantics of programing language

大小：0B | 2018-12-07 19:33:48
The Formal Semantics of Programming Languages

大小：0B | 2019-03-16 16:02:40
the formal semantics of programming language an introduction

本书为英文原版，内容包括程序语言设计的基本原理，以及关于语言设计的形式化语义的描述理论基础，内容较为...

大小：0B | 2018-12-26 03:12:59
The Formal Semantics of Programming Languages An Introduction

The Formal Semantics of Programming Languages - An...

大小：6.24MB | 2020-09-17 04:15:49
Formal Programming Language Semantics note1

Formal Programming Language Semantics note 1

大小：0B | 2018-12-26 03:13:23
A Formal representation of the Structural Semantics of Domain Specific Modeling

Domain-Specific Modeling has been widely and succe...

大小：208KB | 2021-02-22 08:53:06
Semantics1th Application a Formal Introduction

Semantics1thApplicationaFormalIntroduction,Nielson...

大小：0B | 2019-07-09 09:13:28
Formal Programming Language Semantics note2

FormalProgrammingLanguageSemanticsnote2

大小：0B | 2019-07-29 11:39:55
A Formal Definition of the Structural Semantics of Domain Specific Modeling Lang

As a Model-Driven Development methodology (MDD) fo...

大小：388KB | 2021-02-22 08:53:05
语义与应用正式介绍Semantics with Applications A Formal Introduction

这本书涵盖了结构操作语义学（其中计算由许多小步骤组成）和自然语义学（其中计算由一个大步骤组成）的基础...

大小：0B | 2020-06-07 13:31:36
Tabular技术

SSAS分析服务，讲解cube，适合excel分析数据。适合小型Cube

大小：0B | 2018-12-18 20:30:55
Tabular crx插件

驯服浏览器选项卡。 Tabular是一个浏览器扩展,适用于总是打开许多选项卡的人们。 -点击该按钮可...

大小：128KB | 2021-04-21 03:28:37
Semantics with Applications

形式语义学学习的好东东，名称为SemanticswithApplications

大小：0B | 2019-06-04 19:57:00
Formal Language

solutionfor2ndedition

大小：0B | 2019-07-29 11:39:46
Formal Method Formal Verification for Digital Circuit Design

FormalMethod\FormalVerificationforDigitalCircuitDe...

大小：0B | 2019-06-04 03:41:22