Treffer: Tools and Algorithms for the Construction and Analysis of Systems
Titel:
Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings / edited by Javier Esparza, Rupak Majumdar
Verantwortlich:
Ausgabe:
1st ed. 2010
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVI, 468 Seiten) : 102 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 6015
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Tools and Algorithms for the Construction and Analysis of Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642120015
Schlagworte:
ISBN:
9783642120022 ; 3642120024 ; 978--364212001-5 (Sekundärausgabe) ; 978--364212003-9 (Sekundärausgabe)
DOI:
10.1007/978-3-642-12002-2