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 / / 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, 10806 |
---|---|
: | |
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,
10806 |
Physical Description: | 1 online resource (XX, 465 p. 92 illus.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
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.
by: Dirk Beyer
Published: (2018.) -
Programming Languages and Systems : : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Amal Ahmed.
Published: (2018.) -
Fundamental Approaches to Software Engineering : : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Alessandra Russo, Andy Schürr.
by: Russo, Alessandra
Published: (2018.) -
Foundations of Software Science and Computation Structures : : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / / edited by Christel Baier, Ugo Dal Lago.
by: Baier, Christel
Published: (2018.) -
Fundamental Approaches to Software Engineering : : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings / / edited by Dirk Beyer, Ana Cavalcanti.
by: Beyer, Dirk.
Published: (2024.)