Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (English)
- New search for: Beyer, Dirk
- New search for: Huisman, Marieke
2018
-
ISBN:
- Book / Electronic Resource
-
Title:Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
-
Contributors:
-
Published in:
-
Publisher:
- New search for: Imprint: Springer
-
Place of publication:Cham
-
Publication date:2018
-
Size:1 Online-Ressource (XX, 465 p. 92 illus)
-
ISBN:
-
DOI:
-
Type of media:Book
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source: