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 /

• Ente Autore: SpringerLink (Online service)
• Altri autori: Goubault-Larrecq, Jean (Redattore), König, Barbara (Redattore)
• Natura: Elettronico eBook
• Lingua: inglese
• Pubblicazione: Cham : Springer International Publishing : Imprint: Springer, 2020.
• Edizione: 1st ed. 2020.
• Serie: Theoretical Computer Science and General Issues, 12077
• Soggetti: Mathematical logic.; Computer science > Mathematics.; Discrete mathematics.; Compilers (Computer programs).; Computer programming.; Logic programming.; Computer engineering.; Computer networks .; Mathematical Logic and Foundations.; Discrete Mathematics in Computer Science.; Compilers and Interpreters.; Programming Techniques.; Logic in AI.; Computer Engineering and Networks.
• Accesso online: Link to Metadata