Book Details

Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920)

Publication year: 2006

ISBN: 978-3-540-33057-8

Internet Resource: Please Login to download book


This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held Austria in March/April 2006 as part of ETAPS.


Subject: Computer Science, Variable, abstraction, algorithm, algorithms, automata, data structure, logic, model checking, object oriented design, program analysis, programming, programming theory, systems development, systems modeling, systems verification