bn:17395613n
Noun Named Entity
Categories: 形式手法ツール, 形式仕様記述言語, 並行性, 仕様記述言語, 形式手法
JA
TLA+
JA
TLA+は、Leslie Lamportによって開発された形式仕様言語。 Wikipedia
Definitions
Relations
Sources
JA
TLA+は、Leslie Lamportによって開発された形式仕様言語。 Wikipedia
Wikipedia
JA
Wikidata
JA