Nicolas Halbwachs, Lenore Zuck

Tools and Algorithms for the Construction and Analysis of Systems

11th International Conference, TACAS 2005, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

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

Author

Publication

2005 - Springer London, Limited

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

ISBN-139783540319801
ISBN-103540319808
Better World Books9783540319801
Open LibraryOL35767177M

Classifications

LCCQA75.5-76.95

Subjects

Topics

System design Computer software

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!