Tools and algorithms for the construction and analysis of systems: second international workshop, tacas '96, passau, germany, march 27 - 29, 1996, proceedings.: tacas '96, passau, germany, march 27-29 1996, proceedings: tacas '96, passau, germany, march 27-29 1996, proceedings
Auteur :
Margaria, Tiziana
ISBN :
9783540610427
Date de publication :
20 mars 1996
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
635 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These conference proceedings address current aspects of the design and analysis of distributed systems. The volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.