Formal methods in programming -tutkimusyksikkö : Turku Centre for Computer Science, Åbo Akademi
Finna-arvio
Formal methods in programming -tutkimusyksikkö : Turku Centre for Computer Science, Åbo Akademi
Tallennettuna:
| Kieli |
suomi |
|---|---|
| Alkuteoksen kieli |
suomi |
| Luokitus | |
| Lisätiedot | Ralph-Johan Back ja Kaisa Sere |
