Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2 PDF
Edited by Javier Esparza, Rupak Majumdar
Part of the Lecture Notes in Computer Science series
Please note: eBooks can only be purchased with a UK issued credit card and all our eBooks (ePub and PDF) are DRM protected.
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:10/03/2010
- Category:
- ISBN:9783642120022
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:10/03/2010
- Category:
- ISBN:9783642120022