Tools and algorithms for the construction and analysis of systems: third international workshop, tacas'97, enschede, the netherlands, april 2-4, 1997, proceedings
Auteur :
Brinksma, Ed.
ISBN :
9783540627906
Date de publication :
20 mars 1997
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
1390 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Presenting 20 revised papers and five tool demonstrations, this proceedings volume is organized into sections on space-reduction techniques, tool demonstrationgs, logical techniques, verification support, specification and analysis, theorem proving, model checking and applications.