Exercises

Here you can find the exercises of the ITP course. The exercises as well as extra material is also available in the git-repository https://gits-15.sys.kth.se/tuerk/ITP-exercises.

Thomas Tuerk created page 19 April 2017

Thomas Tuerk edited 9 May 2017

Here you can find the exercises of the ITP course. The exercises as well as extra material is also available in the git-repository https://gits-15.sys.kth.se/tuerk/ITP-exercises.


* Background Questionnaire
* Exercise 1
* Exercise 2 (philScript.sml)
* Exercise 3
* Exercise 4 (files as tar archive)

Thomas Tuerk edited 15 May 2017

Here you can find the exercises of the ITP course. The exercises as well as extra material is also available in the git-repository https://gits-15.sys.kth.se/tuerk/ITP-exercises.


* Background Questionnaire
* Exercise 1
* Exercise 2 (philScript.sml)
* Exercise 3
* Exercise 4 (files as tar archive)
* Exercise 5 (script-file)

Thomas Tuerk edited 23 May 2017

Here you can find the exercises of the ITP course. The exercises as well as extra material is also available in the git-repository https://gits-15.sys.kth.se/tuerk/ITP-exercises.


* Background Questionnaire
* Exercise 1
* Exercise 2 (philScript.sml)
* Exercise 3
* Exercise 4 (files as tar archive)
* Exercise 5 (script-file)
* Exercise 6

Thomas Tuerk edited 5 June 2017

Here you can find the exercises of the ITP course. The exercises as well as extra material is also available in the git-repository https://gits-15.sys.kth.se/tuerk/ITP-exercises.


* Background Questionnaire
* Exercise 1
* Exercise 2 (philScript.sml)
* Exercise 3
* Exercise 4 (files as tar archive)
* Exercise 5 (script-file)
* Exercise 6
* Exercise 7

Feedback News