代数规范！

请问  
  代数语义、代数规范与程序设计有哪些关系？哪里有相关资料？  
  有没有如pvs等相关形式化方面的资料？  
  电子、纸张版都可以，最好是中文。  
  谢谢！  
  问题点数：20、回复次数：4Top

1 楼mylove0618（ADT）回复于 2002-05-19 21:07:37 得分 20

kaoyan.netbig.com/kaoyan/e1/242/20000331/6037.htm  
  www.suda.edu.cn/department/computer/rencai_peiyang/benkesheng/jxdg/22.htm    
  ebook.0451.net/html/js192/23/book1.htmTop

2 楼lizhongkun（泛型）回复于 2002-05-24 17:44:24 得分 0

你自己用www.google.com.  
  e.pub.edu.cn  
  搜索嘛！sohu   ~~^^^Top

3 楼zhouzicn（zhouzi）回复于 2002-05-24 18:44:42 得分 0

做了，介绍的比较仔细的还没有找到！Top

4 楼wangchanglu（大海大海）回复于 2002-05-25 10:15:13 得分 0

http://www.c-view.org/  
  从此之后，C++   View启用新域名http://www.c-view.org（教育网内部可以使用http://c-view.org访问）  
  Top

相关问题

• .net
• view
• 资料
• 代数规范
• kaoyan
• edu
• htm
• cn
• org
• www

• 帖主：zhouzicn
• mylove0618

• C/C++ Blog
• C/C++类图书
• C/C++类源码下载