Holger Hermanns, Jens Palsberg

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

We couldn't estimate the reading time for this book.

Author

Publication

2006 - Springer London, Limited

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

ISBN-139783540330578
ISBN-103540330577
Better World Books9783540330578
Open LibraryOL35768887M

Classifications

LCCQA75.5-76.95

Subjects

Topics

System design Computer software, development

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!