Spezifizierende Systeme: Die TLA+ Sprache und Tools für Hardware- und Software-Engine
56,22 €
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:
