第一图书网

全部分类

计算机辅助验证 Computer aided verification

Ed Brinksma 1 (2002年9月1日)
出版时间：2002-12
出版社：1 (2002年9月1日)
作者：Ed Brinksma
页数：626
图书封面

下载链接
    计算机辅助验证 Computer aided verificationPDF格式下载

相关图书

约束程序设计原理与实践 CP2002Principles and practice of constraint programming-CP2002
学习分类器系统进展/会议录 Advances in learning classifier systems
Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings (平装)
计算逻辑.逻辑程序设计及其它 第2卷Computational logic
应用语义学 Applied semantics
Cars: The Essential Guide (精装)
Human Traces人类的踪迹
茶
花漾人生1
应用统计学学习指导
窮小子開民宿：創意民宿的輕生活
Magic Books: Animal Antics (木板书)
The Ultimate Visual Guide to Star Wars (精装)
Rabbit (精装)
"SpongeBob SquarePants" the Essential Guide (精装)
Kitten Care (精装)
Bear (精装)
Puppy Care (精装)
Madrid (精装)
Japan (精装)
Provence and the Cote d'Azur (精装)
Egypt (平装)
Singapore (平装)
The Successful Marketing Plan: A Disciplined and Comprehensive Approach (平装)
Julie and Julia: My Year of Cooking Dangerously (平装)
Europe's Best Places to Stay (平装)
Great Britain (平装)
House of Lies: How Management Consultants Steal Your Watch Then Tell You the Time (平装)
The Christmas Kit (精装)
London (精装)
软件工程
超人特攻队卡通艺术 THE INCREDIBLES
(喂养动物剪纸书（适合4-8岁幼儿）)MORE PLEASE HUNGRY ANIMAL BK
Skateboarding (精装)
创造思维理论 德国古典哲学创造思维理论的精华
政治人
21世纪中国经济学本科创新人才培养体系探索
New Encyclopedia of the Dog (精装)
Small Pet Care (精装)
The New Encyclopedia of the Cat (精装)
雾越邸杀人事件
Greek Dictionary希腊语字典
Collins French Essential Dictionary and Grammar (平装)
Collins Compact Polish Dictionary (平装)
Collins Pocket Thesaurus A-Z (平装)
Collins Compact Italian Dictionary (平装)
Collins Pocket English Dictionary (平装)
柯林斯简明辞典 Express Dictionary and Thesaurus 2nd Ed
A Passion for Watercolor: Painting the Inner Experience (精装)
咚咚吊桥坠落