New for: D3
Am Dienstag, 19.06., 16.00ct, tragen Hendrik Tews und Michael Hohmuth
(Uni Dresden) ueber das Design und die Verifikation eines
Betriessystem-Micro-Kernels vor. Der Vortrag findet ihn HS001
statt. Alle interresierten sind herzlich eingeladen.
--
----------------------------------------------------------------
FB 14 - Informatik
Christian Jacobi Im Stadtwald
Computer Science Department D-66041 Saarbruecken
Saarland University
Germany Phone: (+49) 681 3024490
Fax: (+49) 681 3024290
----------------------------------------------------------------