Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / / edited by Stefan Kiefer, Christine Tasson.
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAP...
Saved in:
Superior document: | Theoretical Computer Science and General Issues, 12650 |
---|---|
: | |
TeilnehmendeR: | |
Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2021. |
Year of Publication: | 2021 |
Edition: | 1st ed. 2021. |
Language: | English |
Series: | Theoretical Computer Science and General Issues,
12650 |
Physical Description: | 1 online resource (587 pages) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / / edited by Esther Guerra, Mariëlle Stoelinga.
by: Guerra, Esther.
Published: (2021.) -
Foundations of Software Science and Computation Structures : : 24th International Conference, FOSSACS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings.
by: Kiefer, Stefan.
Published: (2021.) -
Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / / edited by Nobuko Yoshida.
by: Yoshida, Nobuko.
Published: (2021.) -
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / / edited by Jan Friso Groote, Kim Guldstrand Larsen.
by: Groote, Jan Friso.
Published: (2021.) -
Tools and Algorithms for the Construction and Analysis of Systems : : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II.
by: Groote, Jan Friso.
Published: (2021.)