HEIDI: 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

Markieren

Persönliche Notiz

BibTeXRIS (Endnote)

Status: online aufrufen

Standort: ---
Exemplare: ---

	Online-Ressource
Verfasst von:	Beyer, Dirk [HerausgeberIn]
Titel:	Tools and Algorithms for the Construction and Analysis of Systems
Titelzusatz:	25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Mitwirkende:	Huisman, Marieke [HerausgeberIn]
	Kordon, Fabrice [HerausgeberIn]
	Steffen, Bernhard [HerausgeberIn]
Verlagsort:	[Erscheinungsort nicht ermittelbar]
Verlag:	Springer Nature
Jahr:	2019
Umfang:	1 Online-Ressource (258 p.)
Gesamttitel/Reihe:	Lecture Notes in Computer Science
Schrift/Sprache:	English
ISBN:	978-3-030-17502-3
Abstract:	This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS
URL:	kostenfrei: Verlag: https://directory.doabooks.org/handle/20.500.12854/27642
	20.500.12854/27642
Datenträger:	Online-Ressource
Sprache:	eng
Sach-SW:	Information technology: general issues
	Computer programming / software development
	Software Engineering
	Mathematical theory of computation
	Systems analysis & design
	Computer modelling & simulation
K10plus-PPN:	1778506976

	Universitätsbibliothek
Lokale URL UB:	Zum Volltext