The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... 2,: 2988 (Lecture Notes in Computer Science)

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... 2,: 2988 (Lecture Notes in Computer Science)

by Andreas Podelski (Author), Andreas Podelski (Author), Kurt Jensen (Author)

  • New

    Paperback 2004

    $110.85
Synopsis

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004).

$110.85

Save:$9.36 (8%)

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 628
 Edition: 2004
 Publisher: Springer
Published: 18 Mar 2004
ISBN 10: 354021299X
ISBN 13: 9783540212997