• Tools and Algorithms for the C...
  • *Description*

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

*Title*:
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
*Author/editor-in-chief*:
Beyer, Dirk (Herausgeber); Huisman, Marieke (Herausgeber) ; Kordon, Fabrice (Herausgeber); Steffen, Bernhard (Herausgeber) 
*Edition*:
1st ed. 2019
*Publication*:
Cham : Springer International Publishing, 2019
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XXVII, 258 Seiten) : 449 illus., 25 illus. in color.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Theoretical Computer Science and General Issues ; 11429
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Tools and Algorithms for the Construction and Analysis of Systems. - Cham : Springer International Publishing, 2019. - ISBN 9783030175016
*ISBN*:
9783030175023 ; 3030175022 ; 9783030175016 (Sekundärausgabe) ; 9783030175030 (Sekundärausgabe)
*DOI*:
10.1007/978-3-030-17502-3

*Additional information*

*Additional functions*