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

Bibliographische Detailangaben
Weitere beteiligte Personen: Abdulla, Parosh Aziz ; Leino, K. Rustan M. ; TACAS ; ETAPS
Format: E-Book
Sprache:English
Veröffentlicht: Berlin [u.a.] : Springer 2011
ISBN:9783642198359
364219835X
3642198341
9783642198342
Schriftenreihe:Lecture notes in computer science 6605
Anmerkung:Literaturangaben
Umfang:Online-Ressource (XVI, 394 S.)
DOI:10.1007/978-3-642-19835-9
Schlagworte:
Andere Ausgaben:Alle 2 Ausgaben anzeigen
QR-Code: QR-Code anzeigen

Universitätsbibliothek Ilmenau, Online

Bestandesangaben von Universitätsbibliothek Ilmenau, Online
Signatur: -
Anmerkungen: Campuslizenz TU Ilmenau
Online-Zugang: http://site.ebrary.com/lib/alltitles/docDetail.action?docID=10455854
Online-Zugang: http://dx.doi.org/10.1007/978-3-642-19835-9 [Lizenzpflichtig]
Verfügbarkeit: Verfügbar - Online.

Alle 2 Ausgaben anzeigen
Mehr zum Titel:
Zentralblatt MATH
Feedback Lieferdienst zum Kauf vorschlagen