TLA+ 《Specifying Systems》翻译初稿——Section 4.3 Hiding the Queue(隐藏队列） - 代码天地

TLA+ 《Specifying Systems》翻译初稿——Section 4.3 Hiding the Queue(隐藏队列）

其他 2020-01-28 18:29:47 阅读次数: 0

NoSuchKey

猜你喜欢

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

TLA+ 《Specifying Systems》翻译初稿——Section 4.3 Hiding the Queue(隐藏队列）

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

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

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

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

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

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

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

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

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

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

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

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

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 14.1 Introduction to TLC（TLC介绍）

TLA+ 《Specifying Systems》翻译初稿——Chapter 9 Real Time Section 1 The Hour Clock Revisited

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

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

TLA+ 《Specifying Systems》翻译初稿——Section 5.0 A Caching Memory(一种内存缓存系统)

TLA+ 《Specifying Systems》翻译初稿——Section 4.4 A Bounded FIFO(有限制FIFO)

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

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

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

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

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

TLA+ 《Specifying Systems》翻译初稿——Section 5.1 The Memory Interface（内存接口）

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

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

今日推荐

周排行

对话吴恩达：为什么说制造业会是首个聚焦AI转型的行业？

linux常用命令速记

js实现input框添加移除属性

软件项目常见风险及其预防措施

JAVA 最全JAR包集合仓库

JS计时操作完成的时间

解决layui table方法渲染时时间格式问题

IIC通讯之TM1650

Python3中的输入输出

Spring Boot 2.0 利用 Spring Security 实现简单的OAuth2.0认证方式2

每日归档

更多

2025-02-13(0)

2025-02-12(0)

2025-02-11(0)

2025-02-10(0)

2025-02-09(0)

2025-02-08(0)

2025-02-07(0)

2025-02-06(0)

2025-02-05(0)

2025-02-04(0)