Contact usSend your remarks and questions to the Ilmenau University Library.
Your message regarding the following title:
Title: Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011 ; proceedings
Other Involved Persons: Abdulla, Parosh Aziz
Other Involved Persons: Leino, K. Rustan M.
Other Involved Persons: TACAS
Other Involved Persons: ETAPS
Published: Berlin [u.a.] : Springer 2011