PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICSPDF电子书下载
- 电子书积分：12 积分如何计算积分？
- 作 者：RAYMOND D.GUMB
- 出 版 社：JOHN SILEY AND SONS
- 出版年份：2222
- ISBN：
- 页数：334 页
图书介绍：
《PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS》目录
标签：
相关图书
作者其它书籍
- 《知识分子的鸦片》（Raymond Aron著） 蔡英文译 1990
- 《与孩子一起上网》（德）雷蒙德·维泽曼（Raymond Wisemann）著；王德峰译 2003
- 《雷蒙德·卡弗短篇小说集 英语注释读物》（美）卡 弗（Carver，Raymond）著；碧 桃注释 1992
- 《世界经典童话故事 白雪公主和七个小矮人》（英）RAYMOND SIBLEY改编；周彩萍翻译 2006
- 《人力资源管理基础》雷蒙德·A·诺伊（Raymond A. Noe）等著；雷丽华译 2005
- 《CCIE Security实验指南》（美）Dmitry Bokotey，（英）Andrew Mason，（美）Raymond Morrow著；陈晓筹，邝卫国译 2005
- 《客户关系管理 营销战略与信息技术的整合》（美）威廉·G.齐克蒙德（William G.Zikmund），（美）小雷蒙德·迈克利奥德（Raymond Mcleod，Jr.），（美）法耶·W.吉尔伯特（Faye W.Gilbert）著；胡左浩，贾崧，杨志林译 2005
- 《UNIX编程艺术》（美）Eric S. Raymond著；姜宏，何源，蔡晓俊译 2006
- 《UNIX编程艺术》（美）EricS.Raymond著 2011
- 《当代心理治疗的理论与实务》Raymond J.Corsini，Danny Wedding主编；朱玲亿等译 2000
出版社其它书籍