- 博客(1)
- 资源 (9)
- 收藏
- 关注
原创 ubuntu中安装vmware tools的详细步骤
ubuntu中安装vmware tools的详细步骤 (一)、首先要有ubtuntu,然后再单击VMWare的【虚拟机】菜单,选择【安装VMWare Tools】命令 (二)、然后出现VMware tools的安装压缩包文件VMwareTools-9.2.0-799703.tar.gz。 (三)、把压缩包文件VMwareTools-9.2.0-799703.tar.gz。复制到桌面并提取到此
2016-10-25 15:42:32 1807
spark.pdf教程下载
SPARK是一种安全的、经正式定义的编程语言。它被设计用来支持一些安全或商业集成为关键因素的应用软件的设计。SPARK有基于Ada 83和Ada 95的版本。最新版本RavenSPARK包含了Ravenscar Tasking Profile来支持高度集成应用中的同步。SPARK的正式和明确的定义使得多种静态分析技术在SPARK源代码的应用中成为可能。
2017-09-14
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人