Specifying Systems
Specifying Systems
Specifying Systems
The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Type: Physical Book
Information: 1
Release Date: 2002-07-29
ISBN 10: 032114306X
ISBN 13: 9780321143068
Readers: 1
Country: United States of America