Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6,
by C.R. Ramakrishnan
| Publisher: | Springer |
| Published In: | 18-Mar-2008 |
| ISBN-10: | 3540787992 |
| ISBN-13: | 9783540787990 |
| Binding Type: | Paperback |
| Weight: | 2.02 lbs |
| Pages: | pp. 540, Illus. |
The Title "Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings" is written by C.R. Ramakrishnan. This book was published in the year 2008. The ISBN number 3540787992|9783540787990 is assigned to the Paperback version of this title. This book has total of pp. xvi + 518 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings is currently Available with us.