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 Interiors 空间利用: 民用与商用室内空间建筑与布置指南
Maryrose McGowan(玛丽萝丝·麦高文) 著;Kelsey Kruse(凯尔西·克鲁斯) 绘
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Interiors:A Guide to Construction and FF&E for Commercial Interiors Projects
Maryrose McGowan
您可能感兴趣 / 更多
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
Mug Cakes
Leslie Bilderback 著
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
Three-Day Weekend Crosswords[Spiral-bound]
Leslie Billig 编
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
General and Oral Pathology for the Dental Hygienist[供口腔医师使用的一般口腔病理学]
Leslie DeLong、Nancy Burkhart 著
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
Girl Could Stand Up
Leslie Marshall 著
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
When Abortion Was a Crime:Women, Medicine, and Law in the United States, 1867-1973
Leslie J Reagan
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
Frenchmen into Peasants:Modernity and Tradition in the Peopling of French Canada (Harvard Historical Studies)
Leslie P. Choquette
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
LaTeX:A Document Preparation System
Leslie Lamport
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
The Cambridge History of Latin America
Leslie Bethell 著;Leslie Bethell 编
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
The Cambridge History of Latin America
Leslie Bethell 著;Leslie Bethell 编
Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers
The Cambridge History of Latin America
Leslie Bethell 著;Leslie Bethell 编