Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II / edited by Axel Legay, Tiziana Margaria

Gespeichert in:

E-Book

Bibliographische Detailangaben
Beteiligte Person(en)	Legay, Axel (herausgegeben von), Margaria, Tiziana (herausgegeben von)
Ort, Verlag, Jahr	Berlin, Heidelberg : Springer Berlin Heidelberg Imprint: Springer , 2017
Umfang	1 Online-Ressource (XXIV, 411 p. 88 illus)
ISBN	9783662545805
ISSN	0302-9743
Sprache	Englisch
Online-Zugang	https://doi.org/10.1007/978-3-662-54580-5 Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC) Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (ZDB-2-SCS) Wird geladen...
Persistente URL	https://katalogplus.ub.uni-bielefeld.de/title/HT019287695

Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte Angebote von außerhalb des Campus.