Tools and algorithms for the construction of analysis of systems: 5th international conference, tacas '99, held as part of the joint european conferences on theory and practice of software, etaps '99, amsterdam, the netherlands, march 22-28, 1999: proceedings
Auteur :
Cleaveland, W. Rance
ISBN :
9783540657033
Date de publication :
10 mars 1999
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
651 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This text presents the proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The papers are organized into topical sections on areas such as real time systems, compositionality and abstraction, symbolic analysis and process algebras.