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 I / 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, 609 p. 152 illus)
ISBN	9783662545775
ISSN	0302-9743
Sprache	Englisch
Online-Zugang	https://doi.org/10.1007/978-3-662-54577-5 Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (ZDB-2-SCS) Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC) Wird geladen...
Persistente URL	https://katalogplus.ub.uni-bielefeld.de/title/HT019287694

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