https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Mohammad_Mousavi%27s_Past_Courses 2026-05-11T06:06:47Z Revision history for this page on the wiki MediaWiki 1.22.6 https://wiki.hh.se/ceres/index.php?title=Mohammad_Mousavi%27s_Past_Courses&diff=2787&oldid=prev 2014-06-23T09:15:20Z

<p>Created page with &quot;* System Validation, 2011-2013, TU Delft, The Netherlands. Slides, recorded lectures and lecture notes available from the [http://ocw.tudelft.nl/courses/computerscience/system...&quot;</p> <p><b>New page</b></p><div>* System Validation, 2011-2013, TU Delft, The Netherlands. Slides, recorded lectures and lecture notes available from the [http://ocw.tudelft.nl/courses/computerscience/systemvalidation/course-home/ Delft Open CourseWare site]. <br /> * Software Specification, 2007-2013, TU Eindhoven, The Netherlands. <br /> * Software Testing, 2007-2013. TU Eindhoven, The Netherlands. <br /> * Computational Networks (5JJ50), 2006 and 2011-2012. TU Eindhoven, The Netherlands. <br /> * Structured Operational Semantics, Short Course at ESSLLI 2010, University of Copenhagen, Denmark.<br /> * Logic and Set Theory, 2005 and 2008. TU Eindhoven, The Netherlands. <br /> * OGO (Design-Oriented Education) Project 1.3, 2006-2007. TU Eindhoven, The Netherlands. <br /> * Aspects of Programming Languages, 2007. TU Eindhoven, The Netherlands. <br /> * Automata and Processes, 2005. TU Eindhoven, The Netherlands.<br /> <br /> <br /> <br /> ==[[Mohammad Mousavi | Back to Home]]==</div>

Slawek