Schreiben Sie uns

Senden Sie Ihre Anmerkungen und Fragen an die Universitätsbibliothek Ilmenau.

Ihre Nachricht zu folgendem Titel:
Titel: 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
Weitere beteiligte Personen: Abdulla, Parosh Aziz
Weitere beteiligte Personen: Leino, K. Rustan M.
Weitere beteiligte Personen: TACAS
Weitere beteiligte Personen: ETAPS
Veröffentlicht: Berlin [u.a.] : Springer 2011
ISBN: 364219835X


Rückantwort der Bibliothek per E-Mail:
Rückantwort erbeten Nicht gewünscht
Bitte geben Sie die Lösung der folgenden Rechenaufgabe in Ziffern an:

sieben plus sechs =