欢迎您来到高等教育出版社!
请登录
免费注册
中文
|
收藏
用户名:
密 码:
验证码:
忘记密码
教师认证
在线选书
人才招聘
首页
高教资讯
高教会议
图书产品
数字产品
高教期刊
教师服务
网上书城
关于我们
搜索
提示
首页
>
图书产品
>高等教育>计算机/教育技术类>软件开发的形式化方法
分
(次打分)
软件开发的形式化方法
作 者:
古天龙
定 价:
26.00元
出版时间:
2005-01-31
ISBN:
978-7-04-016079-6
读者对象:
高等教育
版面字数:
370千字
一级分类:
计算机/教育技术类
开本:
16开
二级分类:
计算机科学与技术专业课程
软件开发的形式化方法
作 者:
古天龙
定 价:
26.00元
出版时间:
2005-01-31
ISBN:
978-7-04-016079-6
读者对象:
高等教育
版面字数:
370千字
一级分类:
计算机/教育技术类
开本:
16开
二级分类:
计算机科学与技术专业课程
全书页数:
265页
三级分类:
装帧形式:
平装
重点项目:
,
,
样章阅读
图书购买:
内容简介
编辑推荐
学生资源
教师资源
二维码资源
Abook数字课程
查看评论
(0)
简介
展开全部∨
收起∧
目录
展开全部∨
收起∧
相关图书推荐
数据库系统工程师教程
柳玲 王成良 焦晓军
嵌入式软件基础——C语言与汇编的融合(翻译版)
陈宗斌
汇编语言程序设计实验指导及习题集
吴向军 李磊 梁志勇
网络工程师教程
胡维华
数据挖掘技术及应用
刘世平
计算方法简明教程
王能超
IEEE计算机先驱奖(1980-2006)(第二版)-计算机科学与技术中的发展史
吴鹤龄 崔林
网络管理员教程
范立南 周昕
数据库系统概论(第4版)(换封面,十二五)
王珊 萨师煊
高等学校计算机科学与技术专业发展战略研究报告暨专业规范(试行)
教育部高等学校计算机科学与技术教学指导委员会
嵌入式系统原理及应用开发技术(第2版)
桑楠
并行算法实践
陈国良
并行计算──结构.算法.编程(第3版)
陈国良
并行计算──结构.算法.编程(第3版)
陈国良
分布计算系统
徐高潮等
浏览本书的读者还看过
黔山艺论——贵州财经大学艺术学院教学研究文集
贵州财经大学艺术学院
影视鉴赏 第二版
彭吉象
内科学
黄从新
解析与概率数论导引
陈华一
中国古代文学作品选(繁体字版)(第三卷)隋唐五代部分
郁贤皓
重新认识工程教育——国际CDIO培养模式与方法
顾佩华 沈民奋 陆小华
中国古代文学作品选(繁体字版)(第五卷)元明部分
郁贤皓
楚简帛通假汇释
刘信芳
重新认识工程教育——国际CDIO培养模式与方法
顾佩华 沈民奋 陆小华
中国古代文学作品选(繁体字版)(第六卷)清、近代部分
郁贤皓
规范汉字书写方法与训练
曹长远
高等数学引论(第一册)
华罗庚 著,王元 校
中国古代文学(第二版)(下)
郭兴良 周建忠
民族声乐艺术理论及作品鉴赏
殷瑰姣 艾米拉古丽·阿不都卡德尔
汉代学术史论
熊铁基
发表评论
(您需要
先登录
,才能发表评论)
我要评论
提示