On a Formal Semantics of Tabular Expressions

hyonghk 19 0 pdf文档 2019-09-14 21:09:08

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

推荐下载

Formal Verification of Calculus without Limits in Coq

基于Coq的不用极限微积分形式化验证,郭礼权,郁文生,人工智能是我国当前重大科技发展战略之一,数学形式化作为人工智能的重要理论基础,对科技发展具有重要意义.本文基于证明辅助工�

Formal Development of a Network_Centric Rtos

This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. O

Formal Script漂亮英文花体

英文花体给需要的你

A Formal Model of a MultiRobot Control and Communication Task

WeintroducetheComputationandControlLanguage(CCL),aguarded-commandlanguageforexpressingsystemswherein

Foundations of Algebraic Specification and Formal Software Developme

FoundationsofAlgebraicSpecificationandFormalSoftwareDevelopme

A graph approach for knowledge reduction in formal contexts

A graph approach for knowledge reduction in formal contexts

Granular Computing and Knowledge Reduction in Formal Contexts

Granular computing and knowledge reduction are two basic issues in knowledge representation and data

Formal Methods State of the Art and Future Directions

关于形式化理论的权威综述,来自cmu的clarke和wing,非常简易有兴趣的同学看看

Map.Framework.A.Formal.Model.of.Maps

This book explores the concept of a map as a fundamental data type. It defines maps at three levels.

Formal analysis of MPI based parallel programs

对MPI消息传递程序分析相关的一篇文档

用户评论

请输入评论内容

评分：

暂无评论