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

by Leslie Lamport (Author)

New
Paperback
2002
$33.04

$33.04

Save:$10.83 (25%)

Quantity

4 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

$33.04

$33.04

More Information