Identitet
Referenskod
SE Q Handskrift 205:13
Titel
Diverse manuskript och föreläsningar
Datum
- 1972-1976 (Skapelse)
Beskrivningsnivå
Enhet
Omfång och medium
Sammanhang
Arkivbildare
(1937-2016)
Arkivinstitution
Arkivhistorik
Förvärvsinformation
Innehåll och struktur
Omfattning och innehåll
Undersökning om vissa effekter av ADB-system i statsförvaltningen. 1975
Några metoder för verifiering av egenskaper hos program, del 1 1975
Grunderna i teorin för formella språk. 1976
Diverse föreläsningsmanus, kurs- och administrativa handlingar under Kenneth Nilssons tid vid Lunds universitet. 1972-1976
Några metoder för verifiering av egenskaper hos program, del 1 1975
Grunderna i teorin för formella språk. 1976
Diverse föreläsningsmanus, kurs- och administrativa handlingar under Kenneth Nilssons tid vid Lunds universitet. 1972-1976