Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by: Leslie Lamport
ISBN-10: 032114306X
ISBN-13: 9780321143068
Edition: 1
Released: 2002-07-29
Paperback: 382 pages
List Price99
网盘下载地址：
格式(PDF, ePub, Kindle 版本等格式)sample
15－Specifying Systems 9780321143068.pdf