Tools and Algorithms for the Construction and Analysis of Sy ...
Ed Brinksma
- 23 november 1995
- 9783540606307
Samenvatting:
These papers on tools and algorithms for the construction and analysis systems focus on such areas as refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, and temporal and modal logics.
€ 46,99
Bestel bij Bol.com >