Kasutaja kaastöö
Mine navigeerimisribale
Mine otsikasti
- 3. mai 2018, kell 06:45 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 3. mai 2018, kell 06:44 erin ajal +122 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 15:38 erin ajal 0 U Fail:ITI8531 Genzen 1st order calculus.pdf praegune
- 11. aprill 2018, kell 15:38 erin ajal +126 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 15:34 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 15:30 erin ajal 0 U Fail:ITI8531 Lecture 8 18 total correctness.pdf praegune
- 11. aprill 2018, kell 15:30 erin ajal +15 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 15:28 erin ajal 0 U Fail:ITI8531 Lecture 7 18 proving (2).pdf praegune
- 11. aprill 2018, kell 15:28 erin ajal -87 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 15:20 erin ajal -3 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 15:18 erin ajal 0 U Fail:ITI8531 Lecture 6.2 18 verification.pdf praegune
- 11. aprill 2018, kell 15:18 erin ajal 0 U Fail:ITI8531 Lecture 6.1 18 Specifications.pdf praegune
- 11. aprill 2018, kell 15:18 erin ajal +15 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 14:37 erin ajal 0 U Fail:ITI8531 Lecture 5 18 TA and TCTL.pdf praegune
- 11. aprill 2018, kell 14:37 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 14:34 erin ajal 0 U Fail:ITI8531 Lecture 4 18 modelchecking.pdf praegune
- 11. aprill 2018, kell 14:34 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 22. veebruar 2018, kell 18:19 erin ajal 0 U Fail:ITI8531 Lecture 3 18 CTL.pdf praegune
- 22. veebruar 2018, kell 18:19 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 18. veebruar 2018, kell 18:21 erin ajal 0 U Fail:ITI8531 Lecture 2 18 transition systems.pdf praegune
- 18. veebruar 2018, kell 18:21 erin ajal +19 Software Synthesis and Verification →Lecture plan
- 18. veebruar 2018, kell 18:20 erin ajal 0 U Fail:ITI8531 Lecture 1 18 Intro.pdf praegune
- 18. veebruar 2018, kell 18:20 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 18. veebruar 2018, kell 18:08 erin ajal -1 Software Synthesis and Verification
- 18. veebruar 2018, kell 18:07 erin ajal -36 Software Synthesis and Verification
- 18. veebruar 2018, kell 17:29 erin ajal +13 Courses
- 13. jaanuar 2018, kell 16:58 erin ajal +2 Esileht →TTÜ arvutiteaduse instituut - Kursused
- 12. jaanuar 2018, kell 14:12 erin ajal +10 Loogiline programmeerimine (2017) →NB! Kontrolltööde järeltööd s.h. koondtest 16. jaanuaril.
- 10. jaanuar 2018, kell 07:58 erin ajal -2 ITI8610 →Module III
- 10. jaanuar 2018, kell 07:57 erin ajal +15 ITI8610 →News 2017
- 10. jaanuar 2018, kell 07:56 erin ajal +57 ITI8610 →News 2017
- 10. jaanuar 2018, kell 07:53 erin ajal +2 ITI8610 →Time and place
- 10. jaanuar 2018, kell 07:52 erin ajal +2 ITI8610 →Time and place
- 10. jaanuar 2018, kell 07:52 erin ajal +10 ITI8610 →Time and place
- 10. jaanuar 2018, kell 07:51 erin ajal -1 ITI8610 →Resources
- 5. jaanuar 2018, kell 11:32 erin ajal +15 Loogiline programmeerimine (2017) →NB! Kontrolltööde järeltööd 16. jaanuaril.
- 2. jaanuar 2018, kell 13:26 erin ajal +51 Loogiline programmeerimine (2017) →Sügis 2017
- 2. jaanuar 2018, kell 13:25 erin ajal -2 Loogiline programmeerimine (2017) →NB! Praktikumide järelkaitsmine toimub 9. jaanuaril kell 10.00
- 2. jaanuar 2018, kell 13:25 erin ajal +3 Loogiline programmeerimine (2017) →NB! Praktikumide järelkaitsmine toimub 9. jaanuaril kell 10.00
- 2. jaanuar 2018, kell 13:25 erin ajal 0 Loogiline programmeerimine (2017) →Sügis 2017
- 22. detsember 2017, kell 08:38 erin ajal 0 U Fail:Module III 5th lecture.pdf praegune
- 22. detsember 2017, kell 08:37 erin ajal +83 ITI8610 →Module III: : Assured Software Analytics
- 12. detsember 2017, kell 20:09 erin ajal 0 U Fail:Module III 4th lecture.pdf praegune
- 12. detsember 2017, kell 20:09 erin ajal +91 ITI8610 →Module III: : Assured Software Analytics
- 12. detsember 2017, kell 20:07 erin ajal 0 U Fail:Module III 3rd lecture.pdf praegune
- 12. detsember 2017, kell 20:07 erin ajal +82 ITI8610 →Module III: : Assured Software Analytics
- 12. detsember 2017, kell 20:06 erin ajal 0 U Fail:Module III 2nd lecture JML Specification Cases.pdf praegune
- 12. detsember 2017, kell 20:06 erin ajal +6 ITI8610 →Module III: : Assured Software Analytics
- 12. detsember 2017, kell 20:05 erin ajal +108 ITI8610 →Module III: : Assured Software Analytics
- 11. detsember 2017, kell 19:18 erin ajal +9 Loogiline programmeerimine (2017) →Loengud