摘要：
现在读的MSE软件工程硕士，本学期在学《程序验证理论》，特别难，用的是英文书，没中译本，其中讲到很多离散数学以及更深的其他东西，比如形式语义等等。老师讲的好，估计也是最后一次集中系统学数学了，希望大家学好。呵呵 阅读全文
|
摘要：
现在读的MSE软件工程硕士，本学期在学《程序验证理论》，特别难，用的是英文书，没中译本，其中讲到很多离散数学以及更深的其他东西，比如形式语义等等。老师讲的好，估计也是最后一次集中系统学数学了，希望大家学好。呵呵 阅读全文
摘要：
在asp.net 2.0中，如果你要COPY站点，进行站点维护，部署，和进行大量修改，有可能要停掉你的WEB应用程序了，而以一个友好的方式提示给用户，比如什么“本网站正在更新”等等的信息，在ASP。NET 2。0中，你可以建立一个叫app_offline.htm(大小写没关系）的静态HTM页面文件，其中修改成你要临时显示的内容，将其放在你的应用的根目录下。这样，任何外部的请求的话，都会马上被转移到... 阅读全文
|