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

Titel:
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
Beteiligt:
Beyer, Dirk (Herausgeber); Huisman, Marieke (Herausgeber) ; Kordon, Fabrice (Herausgeber); Steffen, Bernhard (Herausgeber) 
Ausgabe:
1st ed. 2019
Veröffent­licht:
Cham : Springer International Publishing, 2019
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XXVII, 258 Seiten) : 449 illus., 25 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues ; 11429
Andere Ausgaben:
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

Zusatz-Informationen

Zusatz-Funktionen