Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers

Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2002-07
ISBN: 9780321143068
装帧: 其他
开本: 其他
纸张: 其他
  • This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. A specification is a written description of what a system is supposed to do, plus a way of checking to make sure that it works. Specifying a
  • 内容简介:
    This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. A specification is a written description of what a system is supposed to do, plus a way of checking to make sure that it works. Specifying a
查看详情
相关图书 / 更多
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
我们八月见(加西亚·马尔克斯逝世十周年,遗作小说全球同步首发。饿的时候才吃饭,爱的时候不必撒谎)
加西亚·马尔克斯 著;新经典 出品
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
富马利中国见闻录
[美]富马利
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
中国山水画对谈录(跟随十位大师,走近山水画世界)
许钦松 编著
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
街头官僚:公共服务中的个人困境
[美]迈克尔·李普斯基(Michael Lipsky)
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
少数派的感受
[美]凯茜·帕克·洪
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
海外中国研究·卿本著者:明清女性的性别身份、能动主体和文学书写
[加拿大]方秀洁 著;陈昉昊 译;周睿
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
裙子的文化史:从中世纪至今
[法]乔治·维加埃罗 著;刘康宁 译
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
影子母亲:保姆、换工与育儿中的微观政治(薄荷实验)
[美]卡梅隆·林·麦克唐纳 著;杨可 译
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
逃出瓶子的精灵:一部关于“我”的哲学史
[荷兰]戈尔·格罗特
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
世界的尽头是一杯好咖啡
临风君
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
【贝页】消失中的食物:除了美味,我们还将失去什么
丹·萨拉迪诺
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
我该走了吗
李翊云
您可能感兴趣 / 更多
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
数学利息理论 (第二版)(影印版)
Leslie Jane Federer
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
EverybodyBonjours!
Leslie Kimmelman、Sarah Mcmenemy 著
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
Mug Cakes
Leslie Bilderback 著
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
CastOn,BindOff:54Step-By-StepMethods
Leslie Ann Bestor 著
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
Social Media Metrics For Dummies[社会媒体韵律学达人迷]
Leslie Poston 著
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
YogaAnatomy
Leslie Kaminoff 著
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
OnMyPotty
Leslie Patricelli 著
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
GirlsActingCatty
Leslie Margolis 著
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
Moonbeams,Dumplings&DragonBoats:ATreasuryofChineseHolidayTales,Activities&Recipes
Leslie Swartz 著;Nina Simonds、Meilo So 绘
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
IntheBath[Boardbook]
Leslie Patricelli 著
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
ChildrenontheFarm:APostcardBookofPhotographsbyPeteWettach
Leslie A. Loveless 著
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
Girl Could Stand Up
Leslie Marshall 著