- 博客(2)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 每天进步一点点之浮点数
“浮点数是属于有理数中某特定子集的数的数字表示，在计算机中用以近似表示任意某个实数。具体的说，这个实数由一个整数或定点数（即尾数）乘以某个基数（计算机中通常是2）的整数次幂得到，这种表示方法类似于基数为10的科学计数法。”（[百度百科](http://baike.baidu.com/link?url=bD6BoUsWiMAqJk93cMIPFIMFBEILlsxVSQD48Qb3j_DhdE7W7
2015-07-16 13:17:26
36
原创 安装Android编程环境，实现android真机调试
近来，心血来潮，想学点Android编程的东西，第一件事便是安装一个Android编程的环境。首先需要安装Java开发环境，jre和jdk。都可以在oracle公司的网站上下载得到安装包，一步步安装，并配置环境变量Path即可。
2015-01-17 14:12:59
39
形式化方法 -从模型到代码的实践应用.pdf （Formal Method-Industrial Use From Model to the Code)
形式化方法简介，着重介绍了B方法及工具、SIMULINK和SCADE在形式化方法中的应用。
2014-11-10
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人