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

by Leslie Lamport (Author)

New
Paperback
2002
$31.22

$31.22

Save:$13.48 (30%)

Quantity

3 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

$31.22

$31.22

More Information