Theoretical Computer Science and General Issues
© 2010
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 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Editors: Esparza, Javier, Majumdar, Rupak (Eds.)
- Fast track conference proceedings
- State of the art papers
- Up to date research
Buy this book
Buy this book

Services for this Book
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Tools and Algorithms for the Construction and Analysis of Systems
- Book Subtitle
- 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
- Editors
-
- Javier Esparza
- Rupak Majumdar
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 6015
- Copyright
- 2010
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-12002-2
- DOI
- 10.1007/978-3-642-12002-2
- Softcover ISBN
- 978-3-642-12001-5
- Edition Number
- 1
- Number of Pages
- XVI, 468
- Number of Illustrations and Tables
- 102 b/w illustrations
- Topics