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 I / / edited by Dirk Beyer, Marieke Huisman.
This book is Open Access under a CC BY licence. .
Saved in:
Superior document: | Theoretical Computer Science and General Issues, 10805 |
---|---|
: | |
HerausgeberIn: | |
Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2018. |
Year of Publication: | 2018 |
Edition: | 1st ed. 2018. |
Language: | English |
Series: | Theoretical Computer Science and General Issues,
10805 |
Physical Description: | 1 online resource (XX, 429 p. 93 illus.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Electronic
DOAB Directory of Open Access Books | Available |