Staub

specifying systems the tla language and tools for hardware and software engin

specifying systems the tla language and tools for hardware and software engin

Recommended

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

$24.36

View Details
Specifying Systems: The TLA+ - Paperback, by Lamport Leslie - Acceptable
Specifying Systems: The TLA+ - Paperback, by Lamport Leslie - Acceptable

$25.24

View Details
Specifying Buildings : A Design Management Perspective, Paperback by Emmitt, ...
Specifying Buildings : A Design Management Perspective, Paperback by Emmitt, ...

$78.07

View Details
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engine
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engine

$53.00

View Details
Specifying Systems : The Tla+ Language and Tools for Hardware and Software En...
Specifying Systems : The Tla+ Language and Tools for Hardware and Software En...

$49.77

View Details
Specifying Systems : The Tla+ Language and Tools for Hardware and Software En...
Specifying Systems : The Tla+ Language and Tools for Hardware and Software En...

$33.32

View Details
Specifying Systems: The TLA+ Langua..., Lamport, Leslie
Specifying Systems: The TLA+ Langua..., Lamport, Leslie

$24.99

View Details
Specifying Systems: The Tla+ Language and Tools for Hardware and Software: New
Specifying Systems: The Tla+ Language and Tools for Hardware and Software: New

$116.11

View Details
Specifying Systems : The Tla+ Language and Tools for Hardware and Software En...
Specifying Systems : The Tla+ Language and Tools for Hardware and Software En...

$49.76

View Details
Specifying Message Passing and Time-Critical Systems with Temporal Logic by Ron
Specifying Message Passing and Time-Critical Systems with Temporal Logic by Ron

$72.22

View Details