Foundations of Software Science and Computation Structures : : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / / edited by Jean Goubault-Larrecq, Barbara König.
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of S...
Saved in:
Superior document: | Theoretical Computer Science and General Issues, 12077 |
---|---|
HerausgeberIn: | |
Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2020. |
Year of Publication: | 2020 |
Edition: | 1st ed. 2020. |
Language: | English |
Series: | Theoretical Computer Science and General Issues,
12077 |
Physical Description: | 1 online resource (XV, 644 p. 1 illus.) |
Notes: | Description based upon print version of record. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Foundations of Software Science and Computation Structures : : 23rd International Conference, FOSSACS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings.
by: Goubault-Larrecq, Jean.
Published: (2020.) -
Foundations of Software Science and Computation Structures : : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Mikołaj Bojańczyk, Alex Simpson.
by: Bojańczyk, Mikołaj
Published: (2019.) -
Fundamental Approaches to Software Engineering : : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / / edited by Heike Wehrheim, Jordi Cabot.
by: Wehrheim, Heike
Published: (2020.) -
The Best Writing on Mathematics 2020 / / ed. by Mircea Pitici.
Published: ([2020]) -
Programming Languages and Systems : : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / / edited by Peter Müller.
by: Müller, Peter
Published: (2020.)