Spesifikaatioiden strukturoinnista TLA+:ssa ja DisCossa : diplomityö
Spesifikaatioiden strukturoinnista TLA+:ssa ja DisCossa : diplomityö
Saved in:
| Physical Description |
53 lehteä |
|---|---|
| Language |
Finnish |
| Language of Abstract |
English |
| Publisher |
[Tampere] :
Tampereen teknillinen korkeakoulu,
1996.
|
| Dissertation Note | Diplomityö : TTKK, tietotekniikan osasto, ohjelmistotekniikka |
| Classification | |
| Additional Information | Mika Katara |