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:	Beyer, Dirk (HerausgeberIn), Huisman, Marieke (HerausgeberIn), Kordon, Fabrice (HerausgeberIn), Steffen, Bernhard (HerausgeberIn), TACAS Prag (VerfasserIn), ETAPS (VerfasserIn), TOOLympics (VerfasserIn)
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:	Logics and Meanings of Programs Logic design Computer industry Computer system performance Mathematical logic. Computer system failures. Computer logic. Electronic digital computers—Evaluation. Computer science Software engineering Computer simulation Computers. Professions. Machine theory. Electronic digital computers Konferenzschrift
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