写点什么

TLA+

0 人感兴趣 · 1 次引用

  • 最新
  • 推荐
https://static001.geekbang.org/infoq/5f/5ff74255b6f4ad650a3824522115a945.png?x-oss-process=image%2Fresize%2Cw_416%2Ch_234

TLA+ 入门教程(1):形式化方法简介

用户头像
多颗糖
2022-07-04

本次 TLA+ 入门教程系列将分为几个部分,帮助你从零掌握 TLA+ 语言的基本知识,欢迎关注公众号和知乎“多颗糖”。

TLA+_TLA+技术文章_InfoQ写作社区