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. ay_1415
  6. modelingverification
  7. mv2014

didattica:choiceexams:ay_1415:modelingverification:mv2014

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

Modelling and Verification 2014/15

News

  • October 22nd, 2014: the course web site is now on-line

General Info

Teacher:

  • Luca Tesei

Lessons schedule:

  • Please check this document

Students reception hours:

  • Please check this link

Course Objectives

Please check this document

Course Contents

Please check this document

Study material

Please check the documents here

Exams

For exam dates, please enter ESSE3 with your UNICAM credentials.

  • didattica/choiceexams/ay_1415/modelingverification/mv2014.txt
  • 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