Specifying Systems: The TLA+ Language and Tools for Hardware and Software
37,70 €
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:
