search for books and compare prices
Tools And Algorithms for the Construction And Analysis of Systems: 11th International Conference, TACAS, Held As Part Of The Joint European Conferences On Theory And Practice Of Software, ETAPS 2005, Edinburgh, UK, Ap
By Etaps 200; Lenore D. Zuck; Nicolas Halbwachs
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Paperback
Book cover for 9783540253334
 
from Springer Verlag (September 30, 2005)
9783540253334 | details & prices | 585 pages | 6.25 × 9.25 × 1.50 in. | 2.00 lbs | List price $169.00
About: ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software.