Nettsider med emneord «Analyse»

Bildet kan inneholde: .
Publisert 12. sep. 2019 18:04

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.

Publisert 22. mars 2012 09:10
Publisert 23. feb. 2011 11:40