CSDN首页 空间 新闻 论坛 Blog 下载 读书 网摘 搜索 .NET Java 视频 接项目 求职 在线学习 买书 程序员 通知
不看会后悔的Windows XP之经验谈 简单快捷DIY实用家庭影院
CSDN社区
搜索 收藏 打印 关闭
CSDN社区 >  C/C++ >  C语言

代数规范!

楼主zhouzicn(zhouzi)2002-05-19 17:23:49 在 C/C++ / C语言 提问

请问  
  代数语义、代数规范与程序设计有哪些关系?哪里有相关资料?  
  有没有如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

相关问题

  • 代数语义学
  • 初中代数题求解
  • 初中代数题求解
  • 问一个线性代数的问题
  • 哪位高手学过近世代数???
  • 代数式求系数问题!!
  • 谁给讲讲关系代数中的映射和选择?
  • 关系代数及关系演算的问题
  • 学VC和学线性代数,高等数学有和关系?
  • 线性代数与高数有多大的联系?

关键词

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

得分解答快速导航

  • 帖主:zhouzicn
  • mylove0618

相关链接

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

广告也精彩

反馈

请通过下述方式给我们反馈
反馈
提问
网站简介|广告服务|VIP资费标准|银行汇款帐号|网站地图|帮助|联系方式|诚聘英才|English|问题报告
北京创新乐知广告有限公司 版权所有, 京 ICP 证 070598 号
世纪乐知(北京)网络技术有限公司 提供技术支持
Copyright © 2000-2008, CSDN.NET, All Rights Reserved
GongshangLogo