Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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. The 30 revised full research papers and four revised tool demonstration papers presented together with one invited paper were carefully reviewed and selected from a total of 118 submissions. The papers are organized in topical sections.

Book details

Edition:
2006
Series:
Lecture Notes in Computer Science (Book 3920)
Author:
Holger Hermanns, Jens Palsberg
ISBN:
9783540330578
Related ISBNs:
9783540330561
Publisher:
Springer Berlin Heidelberg
Pages:
N/A
Reading age:
Not specified
Includes images:
No
Date of addition:
2022-08-21
Usage restrictions:
Copyright
Copyright date:
2006
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Nonfiction