Foundations of Software Science and Computation Structures : 23. 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 / Jean Goubault-Larrecq, Barbara König editors

• Record Nr.: UNICAMPANIAVAN0249173
• Pubbl/distr/stampa: Cham, : Springer, 2020
• Titolo uniforme: Foundations of Software Science and Computation Structures
• Descrizione fisica: xv, 644 p. : ill. ; 24 cm
• Soggetti: 68-XX - Computer science [MSC 2020]; 68Qxx - Theory of computing [MSC 2020]; 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]; 68Nxx - Theory of software [MSC 2020]
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia