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

Preis 38.77 - 44.99 USD

EAN/UPC/ISBN Code 76092021339, 9780321143068


Hersteller Prentice-Hall Inc.

Specifying Systems TLA+ represents an effective methodology for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers. Full description