Versione ItalianaEnglish version Home PageSearchMappeopleLoginForum Università degli studi diTrento
 Home   Altro   Model Checking: Theory and Practice
 
Altro - Model Checking: Theory and Practice
Model Checking: Theory and Practice
Last update 10-06-2003

  • Professor: Paritosh Pandya
  • Course: Model Checking: Theory and Practice
  • AY:  2002-2003
  • Period: One year
    		•
     
    Enter
      Syllabus
       
      University of Trento
  • Altro 
  • Progetto di Ateneo Didattica Online
    		•
    		 
     
    Divisione Didattica OnLine
    via Verdi 7, 38100 Trento, Italia
    CREDITS - COPYRIGHT - PRIVACY