License single eBooks

Your results

• 

  978-3-642-19835-9

  2011, Edition 1

  Subjects: Software Engineering

  Tools and Algorithms for the Construction and Analysis of Systems

  17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

  Parosh Aziz Abdulla; K. Rustan M. Leino

  €100

  + Add