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

• Pubblicazione: Cham, : Springer, 2020
• Titolo uniforme: Foundations of Software Science and Computation Structures
• Descrizione fisica: xv, 644 p. : ill. ; 24 cm
• Soggetto topico: 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]; 68-XX - Computer science [MSC 2020]; 68Nxx - Theory of software [MSC 2020]; 68Qxx - Theory of computing [MSC 2020]
• Soggetto non controllato: Artificial Intelligence; Automata; Categorical models and logics; Concurrency theory and process calculi; Emerging models of computation; Formal logic; Language theory; Linguistics; Logical aspects of computational complexity; Logical foundations of data bases; Logics of programming; Mathematics; Modal, spatial and temporal logics; Models of software security; Rewriting theory; Semantics of programming languages; Software specification and refinement; Type theory and proof theory; and games
• Persona (resp. second.): Goubault-Larrecq, Jean; König, Barbara
• Titolo autorizzato: Foundations of Software Science and Computation Structures
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00249173
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://doi.org/10.1007/978-3-030-45231-5
• Serie: Lecture notes in computer science Berlin [etc.] . -Springer ; 12077