TLA+ 《Specifying Systems》翻译初稿——Section 6.6 Choose(Choose语句) - 代码天地

TLA+ 《Specifying Systems》翻译初稿——Section 6.6 Choose(Choose语句)

其他 2020-01-23 20:09:32 阅读次数: 0

NoSuchKey

猜你喜欢

转载自blog.csdn.net/robinhzp/article/details/103567094

TLA+ 《Specifying Systems》翻译初稿——Section 6.6 Choose(Choose语句)

TLA+ 《Specifying Systems》翻译初稿——Section 2.4 The Specification in TLA+（TLA+规约）

TLA+ 《Specifying Systems》翻译初稿——Section 6.1 Sets( 集合）

TLA+ 《Specifying Systems》翻译初稿——Section 3.5 Comments（注释）

TLA+ 《Specifying Systems》翻译初稿——Section 3.4 Definitions（定义）

TLA+ 《Specifying Systems》翻译初稿——Section 3.0 An Asynchronous Interface

TLA+ 《Specifying Systems》翻译初稿——Section 1.2 Sets（集合）

TLA+ 《Specifying Systems》翻译初稿——Section 2.1 Behaviors（“行为”）

TLA+ 《Specifying Systems》翻译初稿——Section 4.0 A FIFO

TLA+ 《Specifying Systems》翻译初稿——Acknowledgments

TLA+ 《Specifying Systems》翻译初稿——Introduction

TLA+ 《Specifying Systems》翻译初稿——Section 6.4 Functions versus Operators（函数和运算符）

TLA+ 《Specifying Systems》翻译初稿——Section 6.3 Recursion Revisited （递归回顾）

TLA+ 《Specifying Systems》翻译初稿——Section 6.2 Silly Expressions( 笨表达式）

TLA+ 《Specifying Systems》翻译初稿——Section 14.1 Introduction to TLC（TLC介绍）

TLA+ 《Specifying Systems》翻译初稿——Section 1.3 Predicate Logic（谓词逻辑）

TLA+ 《Specifying Systems》翻译初稿——Section 14.7 The Fine Print（附录）

TLA+ 《Specifying Systems》翻译初稿——Section 14.5 How to Use TLC

TLA+ 《Specifying Systems》翻译初稿——Section 3.3 Types: A Reminder（类型：注意）

TLA+ 《Specifying Systems》翻译初稿——Section 3.2 Another specification（另一个规约）

TLA+ 《Specifying Systems》翻译初稿——Section 3.1 The First specification（第一个规约）

TLA+ 《Specifying Systems》翻译初稿——Section 1.1 Propositional Logic（命题逻辑）

TLA+ 《Specifying Systems》翻译初稿——Section 4.2 Instantiation Examined(审视实例化)

TLA+ 《Specifying Systems》翻译初稿——Section 4.1 The Inner Specification（内部规约）

TLA+ 《Specifying Systems》翻译初稿——Section 6.5 Using Functions(函数使用)

TLA+ 《Specifying Systems》翻译初稿——Section 14.4 The TLC Module（TLC模块）

TLA+ 《Specifying Systems》翻译初稿——Section 14.3 How TLC Checks Properties（TLC如何检查属性）

TLA+ 《Specifying Systems》翻译初稿——Section 14.2 What TLC Can Cope With（TLC应用范围）

TLA+ 《Specifying Systems》翻译初稿——Section 2.3 A Closer Look at the Specification（仔细查看规约）

TLA+ 《Specifying Systems》翻译初稿——Section 2.2 An Hour Clock（一个小时时钟）

今日推荐

周排行

3.5星|津巴多《时间的悖论》：未来导向的人更有可能取得个人的成功，但帮助他人的可能性更小

k8s无脑系列（二）-DNS服务搭建和访问

leetcode 26 从排序数组中删除重复项

Python Web 框架：Django、Flask 与 Tornado

中科院计算所研究员陈益强：越来越'聪明'的智能硬件

dotNET面试（二）

数据备份恢复

vue 路由知识点梳理及应用场景整理

ajax局部刷新流程

分段、分页&&内存碎片、外存碎片

每日归档

更多

2025-03-22(0)

2025-03-21(0)

2025-03-20(0)

2025-03-19(0)

2025-03-18(0)

2025-03-17(0)

2025-03-16(0)

2025-03-15(0)

2025-03-14(0)

2025-03-13(0)