Spesifikaatioiden strukturoinnista TLA+:ssa ja DisCossa : diplomityö
Spesifikaatioiden strukturoinnista TLA+:ssa ja DisCossa : diplomityö
Tallennettuna:
| Ulkoasu |
53 lehteä |
|---|---|
| Kieli |
suomi |
| Alkuteoksen kieli |
suomi |
| Tiivistelmän kieli |
englanti |
| Julkaisija |
[Tampere] :
Tampereen teknillinen korkeakoulu,
1996.
|
| Opinnäyte | Diplomityö : TTKK, tietotekniikan osasto, ohjelmistotekniikka |
| Luokitus | |
| Lisätiedot | Mika Katara |