Important Info for the Online Semester

Course contents


First lecture on common msteams


Prerequisites

Reference Material

  1. Logic in Computer Science. Michael Huth and Mark Ryan, Cambridge Press, Second Edition. Indian Edition available.
  2. Principles of Model Checking. Christel Baier, Joost P.Katoen, MIT Press, Official online copy available.
More lecture notes, tutorial links will be provided later.