Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

More Information

Format: Paperback
Pages: 384
Edition: 1
Publisher: Addison Wesley
Published: 19 Jul 2002
ISBN 10: 032114306X
ISBN 13: 9780321143068