Information on this report reflects data as of the end of the day
Sunday, January 22, 2012
CSCI-B 609 TPCS ALGORITHMS & COMP THEORY (3 CR)
VT: VERIFICATION & LOGICS OF PRGMS
28858 RSTR 02:30P-03:45P MW LH 019 Leivant D 15 8 0
TOPIC : Software Verification and Logics of Programs
Above class open to graduates only
Above class meets with CSCI-B 619
VT: TNL MATH OF CYBERSECURITY
32715 PERM 04:00P-05:15P M I 107 Myers S 35 1 0
04:00P-05:15P W I2 150 Myers S
TOPIC : TNL Math of Cybersecurity
Above class open to graduates only
Above class requires permission of instructor
Above class meets with INFO-I 536
|