Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Authors: Leslie Lamport
ISBN-10: 032114306X
ISBN-13: 9780321143068
Edition: 1
Released: 2002-07-29
Paperback: 382 pages
List Price9915－Specifying Systems 9780321143068.pdf
未经允许不得转载：电子书百科大全 » Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers