Indiana
University
Course
Browser

Course Listing: TOPICS IN APPLIED LOGIC

Fall 2011, Bloomington

Information on this report reflects data as of the end of the day Sunday, January 22, 2012

Select another CSCI course | Select another department


	CSCI-B 619  TOPICS IN APPLIED LOGIC (3 CR)
           VT: VERIFICATION & LOGICS OF PRGMS
              31629 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 609