Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, Tacas 2004, Held as Part of the Joint European Confe

By Kurt Jensen

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 354021299X
• ISBN13: 9783540212997
• Release Date: March 2004
• Publisher: Springer
• Length: 614 Pages
• Weight: 3.16 lbs.
• Dimensions: 1.3" x 8.5" x 11.0"