EAN: 9783642007675

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND A...

This book constitutes the refereed proceedings of the 15th International Conference on Tools
and Algorithms for the Construction and Analysis of Systems  TACAS 2009  held in York  UK  in
March 2009  as part of ETAPS 2009  the European Joint Conferences on Theory and Practice of
Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly
reviewed and selected from 131 submissions. The papers are organized in topical sections on
Model Checking  Tools  Verification of Concurrent Programs  Parametric Analysis  Program
Analysis  and Hybrid Systems.

Aktuelle Preise zur EAN 9783642007675

Produktinformationen zur 9783642007675