Computer Science @ Unicam Computer Science @ Unicam
  • Tools
    • Site Tools
    • Recent Changes
    • Media Manager
    • Sitemap
    • Page Tools
    • Show pagesource
    • Old revisions
    • Backlinks
    • Fold/unfold all
    • Back to top
  • Log In
  1. You are here
  3. didattica
  4. choiceexams
  5. modelchecking
  6. mc2014

didattica:choiceexams:modelchecking:mc2014

  • Show pagesource
  • Old revisions
  • Backlinks
  • Fold/unfold all

This is an old revision of the document!

Model Checking 2014/2015

News

  • Please check news here

General Info

Teacher:

  • Luca Tesei

Link to the course material and scheduling:

  • General Information, Scheduling and Exam Modalities
  • Lecture Notes and other material

Office Hours:

  • Tuesday from 12am to 2pm, Check for news and changes

Exams

Exam Dates A.Y. 2014/2015

  • Exam modalities and dates
  • Register for the exam sessions
  • didattica/choiceexams/modelchecking/mc2014.1417518881.txt.gz
  • Last modified: 2020/09/17 16:55
  • (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Built with Bootstrap 3 Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki