• Tools and Algorithms for the C...
  • Mehr Informationen

Treffer: Tools and Algorithms for the Construction and Analysis of Systems

Titel:
Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings / edited by Holger Hermanns, Jens Palsberg
Verantwortlich:
Hermanns, Holger (Herausgeber); Palsberg, Jens (Herausgeber)
Ausgabe:
1st ed. 2006
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVI, 512 Seiten)
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 3920
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Tools and Algorithms for the Construction and Analysis of Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - ISBN 9783540330561
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783540330578 ; 3540330577 ; --354033056-9 ; --354082185-6 ; 978--354033056-1 (Sekundärausgabe) ; 978--354082185-4 (Sekundärausgabe)
DOI:
10.1007/11691372

Zusatz-Informationen

Zusatz-Funktionen