Nettsider med emneord «Logikk»
Publisert 1. sep. 2023 21:32
Denne oppgaven kombinerer verktøy for logikk og formelle bevis med teori for programmeringsspråk som semantikk, type systemer, og statisk analyse. Oppgaven passer for deg som er interessert i både logikk og programmeringsspråk.
.jpg?alt=listing)
.jpg?alt=listing)