Tools and algorithms for the construction and analysis of systems: first international workshop, tacas '95, aarhus, denmark, may 19 - 20, 1995. selected papers: tacas '95, aarhus, denmark, may 19-20, 1995, selected papers: tacas '95, aarhus, denmark, may 19-20, 1995, selected papers
Auteur :
Brinksma, Ed.
ISBN :
9783540606307
Date de publication :
23 nov. 1995
Dimensions :
23,4 x 15,6 x 1,6 cm
Poids :
960 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.