Contact us

Send 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
ISBN: 364219835X


Reply from the library via email:
Reply desired No reply desired
Please enter the correct solution to the following calculation in figures:

null plus five =