TLA+ 《Specifying Systems》翻译初稿——Section 3.4 Definitions（定义） - 代码天地

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

其他 2020-01-23 20:06:02 阅读次数: 0

NoSuchKey

猜你喜欢

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

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

TLA+ 《Specifying Systems》翻译初稿——Section 4.5 What We're Specifying?(我们在定义什么？)

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

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

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

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

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

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

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

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

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

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

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

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

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

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.7 The Fine Print（附录）

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

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

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

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

TLA+ 《Specifying Systems》翻译初稿——Section 1.4 Formulas and Language（公式和语言）

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

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

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

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

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

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

今日推荐

周排行

Linux基础之bash shell介绍及基本特性

【react】---手动封装一个简易版的redux

.properties文件中，中文成显示Unicode

docx4j方法总结

get,post,delete,put请求的区别和联系

JAVA程序设计--面向对象思考（三）

Django - cookie 、session

CSP-201512-3-画图

js跨域解决办法

C语言之概述

每日归档

更多

2025-02-28(0)

2025-02-27(0)

2025-02-26(0)

2025-02-25(0)

2025-02-24(0)

2025-02-23(0)

2025-02-22(0)

2025-02-21(0)

2025-02-20(0)

2025-02-19(0)