- 博客(1)
- 资源 (1)
- 收藏
- 关注
原创 VirtualBox 虚拟电脑恢复
VirtualBox 是 sun 公司推出的免费的、跨平台的虚拟软件。VirtualBox 可运行于 Intel、AMD PC,支持 windows, mac, linux 和 solaris 操作系统。我是在 windows 操作系统下使用 VirtualBox 来虚拟 ubuntu。日前重装了 windows,为了恢复之前创建的虚拟电脑,进行了不少尝试。最终,放弃了网友的建议,实验出了一套
2010-01-01 11:33:00
1166
e Language Reference Mannal
The e language is an object-oriented programming language. Although e can be used to
create any general-purpose software program, it has been designed to facilitate the
verification of electronic designs. The verification-specific constructs that distinguish e
from other object-oriented languages such as C++ include:
• Constructs to define legal values for data items (constraints)
• Constructs to describe sequences over time (temporal constructs)
• Constructs to support concurrency (multi-threaded execution)
• Constructs to support connectivity (bit-level access)
2009-12-30
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人