Modeling and Verification of Real-Time SystemsPDF电子书下载
- 电子书积分：13 积分如何计算积分？
- 作 者：
- 出 版 社：ISTE Ltd.
- 出版年份：2008
- ISBN：9781848210134
- 页数：393 页
图书介绍：
《Modeling and Verification of Real-Time Systems》目录
标签：
相关图书
作者其它书籍
出版社其它书籍
- 《优雅黑白灰 摄影技术流 最超值的摄影技法书》（英）大卫·泰勒 2012
- 《文书写作》周屏，李天相主编；熊国秀，蔡建中，姚国祥等副主编 1991
- 《中国法学评论 第1卷 英文》杨富斌主编；韩阳副主编 2013
- 《Unix Ware使用入门》Susan Adams等著；穆挂荣，木 杉译 1994
- 《INTERNET用户手册 PC用户的入门指导》（美）David Sachs，（美）Henry Stair著；吕建永等译 1994
- 《INTERNET学术网络资源》林明宪，张芳泽原著；高蒙，王兰改编 1994
- 《Internet奥秘》Kevin Kelly等著；刘会平等译 1994
- 《网络图解》（美）Eddie Kee著；刘 华译 1995
- 《J2EE技术实践》贾素玲等编译 2005
- 《Internet 实用手册》曾瑞源著；章含改编 1994