Open-WorldLogicPrograms:ANewFoundationforFormalSpecifications
描述了一种逻辑编程语言,这种语言用于构建形式化规格的基础
用户评论
推荐下载
-
open gl
学习open gl的比较不错的 书,
167 2018-12-16 -
Open Office
应用工具 的
77 2018-12-29 -
ug open grip
ug open grip 二次开发学习资料
52 2018-12-09 -
Microsoft R open
Microsoft R Open是Microsoft Corporation 的R增强版。它是统计分析和数据科学的完整开源平台。 当前版本Microsoft R Open 3.5.1基于(并且100%
38 2018-12-08 -
Open a webbrowser with Google
Open a webbrowser with Google
39 2018-12-15 -
OPEN ENDED QUESTION
OPEN ENDED QUESTION 刚从网上转到的,不错的面试题目
39 2019-04-02 -
Mentor open Inventor
openInventor是基于openGL的一组高级库,使用户更易进行三维编程,而不用过多关注底层开发,其结构类似MFC于C++的关系
49 2019-04-02 -
open flash chart
包含了3个文件: 1.Graph-doc,绘图的API说明 2.OpenFlashChartDemo,代码使用示例,java工程 3.OpenFlashChart组件的使用.doc,对关键节点进行注解
52 2019-04-06 -
Open Source SOA
Open Source SOA 英文版 2009 国内有翻译版
60 2019-03-31 -
NX open api
UG Nx 5.0 open api C# 教程
93 2019-04-14
暂无评论