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.
Saved in:
Superior document: | Lecture Notes in Computer Science Series ; v.12077 |
---|---|
: | |
TeilnehmendeR: | |
Place / Publishing House: | Cham : : Springer International Publishing AG,, 2020. ©2020. |
Year of Publication: | 2020 |
Edition: | 1st ed. |
Language: | English |
Series: | Lecture Notes in Computer Science Series
|
Online Access: | |
Physical Description: | 1 online resource (657 pages) |
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 / / edited by Jean Goubault-Larrecq, Barbara König.
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.)