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

Titel:
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / edited by Nir Piterman, Scott Smolka
Verantwortlich:
Piterman, Nir (Herausgeber); Smolka, Scott (Herausgeber)
Ausgabe:
1st ed. 2013
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XXIV, 646 Seiten) : 137 illus.
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 7795
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Tools and Algorithms for the Construction and Analysis of Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642367410
Schlagworte:
ISBN:
9783642367427 ; 3642367429 ; 978--364236741-0 (Sekundärausgabe) ; 978--364236743-4 (Sekundärausgabe)
DOI:
10.1007/978-3-642-36742-7

Zusatz-Informationen

Zusatz-Funktionen