Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engine
48,25 €
The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioral properties of a system--what that system is allowed to do.
Jetzt bei Ebay:
