Formal Methods for Executable Software Models: 14th International School on Form
68,59 €
Analysis of Executable Software Models. - Deadlock Detection in Linear Recursive Programs. - Verification of Concurrent Systems with VerCors. - Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency.
Jetzt bei Ebay:
