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. magistrale
  5. ay_1516
  6. smv

didattica:magistrale:ay_1516:smv

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

This is an old revision of the document!

Software Modeling and Verification (SMV) Curriculum

1st Year

  • Distributed Calculus and Coordination (12CFU)
  • didattica/magistrale/ay_1516/smv.1455477083.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