Specifying Systems：The TLA+ Language and Tools for Hardware and Software Engineers
- 作者
- 出版社 Addison-Wesley Professional
- 出版时间 2002年7月
- ISBN 9780321143068
内容简介
Thisbookisthedistillationofover25yearsofworkbyoneoftheworld'smostrenownedcomputerscientists.Aspecificationisawrittendescriptionofwhatasystemissupposedtodo,plusawayofcheckingtomakesurethatitworks.Specifyinga
— END —