Innholdsfortegnelse
3 relasjoner: Euclid (programmeringsspråk), James Cordy, TUNIS.
Euclid (programmeringsspråk)
Euclid er et imperativt programmeringsspråk som brukes til å skrive verifiserbare programmer.
Se Concurrent Euclid og Euclid (programmeringsspråk)
James Cordy
James Reginald Cordy (født 2. januar 1950) er en canadisk informatiker og underviser som er professor ved School of Computing ved Queen's University i Kingston, Ontario, Canada.
Se Concurrent Euclid og James Cordy
TUNIS
TUNIS (forkortelse for Toronto UNIversity System) var en portabel, Unix-lignende og distribuert operativsystemkjerne som ble utviklet av informatikerne James Cordy og Richard C. Holt ved University of Toronto, Canada.