Graduate

Courses

Computer Science

B619 Topics in Applied Logic

Credits: 1-6

Prerequisite(s): Permission of instructor.

Special topics in applied logic.

  • Course History

      Spring 2013


      Instructor: Daniel Leivant
      Topic: Program Verification/validatn
      Time: 2:30PM-3:45PM Mon, Wed
      Location: Lindley Hall, Room 019
      Course URL (syllabus link or course homepage)

      Fall 2011


      Instructor: Daniel Leivant
      Topic: Verification and Logics Of Programs
      Time: 2:30PM-3:45PM Mon, Wed
      Location: Lindley Hall, Room 019