Top 193 barcelona PDF Book Page 9

book image

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)
·621 Pages
·2004
·11.053 MB

1
…
56789
We use cookies

We use cookies to ensure you get the best browsing experience on our website. By clicking "Accept Cookies", you agree that we can store cookies on your device in accordance with our Terms and Privacy.