Eintrag weiter verarbeiten
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,...
Gespeichert in:
Personen und Körperschaften: | , , , , , , |
---|---|
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 |
Format: | E-Book Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
Cham
Springer
2019
|
Gesamtaufnahme: |
Springer eBooks Lecture notes in computer science ; 11429 |
Schlagwörter: | |
Inhalte/Bestandteile: | 1 Datensätze |
Erscheint auch als: | TACAS (25. : 2019 : Prag), Tools and algorithms for the construction and analysis of systems ; Part 3: 25 years of TACAS: TOOLympics, Cham : Springer, 2019, xxvii, 258 Seiten |
Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |