*Result*: Tools and Algorithms for the Construction and Analysis of Systems

*Title*:
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
*Author/editor-in-chief*:
Esparza, Javier (Herausgeber); Majumdar, Rupak (Herausgeber)
*Edition*:
1st ed. 2010
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XVI, 468 Seiten) : 102 illus.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 6015
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Tools and Algorithms for the Construction and Analysis of Systems. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642120015
*Subject Added Keywords*:
*ISBN*:
9783642120022 ; 3642120024 ; 978--364212001-5 (Sekundärausgabe) ; 978--364212003-9 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-12002-2

*Additional information*

*Additional functions*