School of Technology and Computer Science
School of Technology and Computer Science

CSS.325.1 Programs and Proofs

Instructor: 

N Raja

Semester: 

  • 2022 Spring/Summer (Jan - May)
Tata Institute of Fundamental Research, Homi Bhabha Road, Mumbai 400005, INDIA
https://brahma.tcs.tifr.res.in/academics/courses/css3251-programs-and-proofs