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

by Leslie Lamport (Author)

New
Paperback
2002
$35.01

$35.01

Save:$11.48 (25%)

Quantity

1 in stock

More Information

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

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

New

$35.01

$35.01

More Information