Department of Computer Science
University of Innsbruck
Home Research Teaching Members Events News
Teaching
lectures bachelor projects master projects

Formale Methoden 2

VO 2 + UE 1   SS 2007   LVA 703019 + 703020

Introduction  |  Lecturers  |  Time & Place  |  Schedule  |  Course Material  |  Evaluation  |  Registration

Test   Pkt   Note          Test   Pkt   Note         
9416001    46    41    2 0615931    47    41    2
9416942    30.5    30    4 0615934    23    35    3
9718688    48    44    2 0615956    33    32    3
0215351    42    41    2 0616044    49    50    1
0218314    19    30    4 0616071    49    47    1
0315912    47    41    2 0616073    50    48    1
0418749    46    38    3 0616174    40    38    3
0431389    23    30    4 0616194    44    40    2
0515099    49    42    2 0616239    37.5    40    2
0515444    42    36    3 0616247    37    40    2
0538319    0    30    4 0616421    44    37    3
0556948    48    42    2 0616475    37    40    2
0615075    50    48    1 0616690    48    50    1
0615150    50    50    1 0616762    34    40    2
0615151    38    37    3 0616803    50    50    1
0615152    48    44    2 0617011    27    35    3
0615153    40    38    3 0617020    47    41    2
0615172    40    38    3 0617083    48    42    2
0615217    49    40    2 0617135    49    40    2
0615219    41    36    3 0617149    47    44    2
0615244    40    45    1 0617306    49    45    1
0615297    48    42    2 0617334    40    38    3
0615550    0    35    3 0617349    49    45    1
0615686    49    47    1 0617395    50    48    1
0615703    49    47    1 0617468    47    44    2
0615786    43    37    3 0617617    40    38    3
0615790    37.5    36    3 0618325    39    37    3
0615845    47    46    1 0618470    36    33    3