9783540434191 | Springer Verlag, May 1, 2002, cover price $82.95 |
About this edition: This book constitutes the refereed proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, held in Grenoble, France, in April 2002.