Formal techniques in real-time and fault-tolerant systemsPDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:(Jan); Vytopil;J.
- 出 版 社:Kluwer Academic Publishers
- 出版年份:1993
- ISBN:0792393325
- 页数:208 页
图书介绍:
《Formal techniques in real-time and fault-tolerant systems》目录
标签:
相关图书
作者其它书籍
- 《反常识》张娟责任编辑;(美国)邓肯·J.瓦茨 2019
- 《花草工坊 101种天然植物护肤清洁用品DIY》(美)简·贝丽(Jan Berry) 2018
- 《如何睡个好觉》杜芯宁译;(美国)劳伦斯·J.爱泼斯坦 2019
- 《乔治 凯南与美国东亚政策》(美)保罗·希尔(Paul J. Heer)著 2020
- 《美国与欧盟智库》上海社会科学院智库研究中心译;(加拿大)克里斯托弗·J.拉斯特里克 2019
- 《哈利·波特与魔法石 第1部分》(英)J. K.罗琳(J. K. Rowling)著 2019
- 《心理学经典入门 第3版》(美)桑德拉·K.切卡莱丽,(美)J.诺兰 2020
- 《儿童 青少年与媒体》(美)维克托·C.斯特拉斯伯格,(美)芭芭拉·J.威尔逊,(美)埃米·B.乔丹著 2018
- 《菊芋的生物学和化学》(美)斯坦利·J.凯斯(Stanley J.Kays),(英)史蒂芬·F.诺丁汉著 2018
- 《谋杀的颜色》(英)莎拉·J.哈里斯著 2020
出版社其它书籍
- 《大学英文写作 第3册 第3版=ACADEMIC WRITING FOR ENGLISH MAJORS WRITING A RESEARCH PAPER》丁言仁主编 2020
- 《当代中国美学学术史》李修建,刘悦笛著 2013
- 《IELTS阅读模拟试题集 Academic》尹陈毅,陈晓莹编著 2003
- 《失落的精神家园 发展中与中等收入国家大学教授职业透视 The academic profession in developing and middle-income countries》(美)菲利普·G.阿特巴赫(Philip G.Altbach)主编;施晓光主译 2006
- 《留学,就这些了!》曹文,沈忆文主编 2011
- 《雅思单词有秘密》蒋志榆著 2017
- 《芝加哥手册 第16版》吴波著,THE UNIVERSITY OF CHICAGO PRESS译 2014
- 《时代焦点英语学习丛书 新挑战TOEFL iBT作文满分》许轶(斯坦福大学MBA)编著;RenzoBrundelRe,JalubTucholski顾问 2013
- 《综合学术英语教程 4》蔡基刚主编 2014
- 《工程学科英语》乔小六主编;龚玲莉,孙梓健副主编;李士芹,曹磊,曹永俐编写;徐莉芳主审 2015