The design of a specification language for reactive systems
The design of a specification language for reactive systems
Sparad:
| Fysisk beskrivning |
148 sivua : kuvitettu ; 25 cm |
|---|---|
| Språk |
engelska |
| Originalverkets språk |
engelska |
| Förlag |
Tampere :
Tampereen teknillinen korkeakoulu,
1992
|
| Lärdomsprov | Väitöskirja Tampereen teknillinen korkeakoulu |
| Serie | Julkaisuja / Tampereen teknillinen korkeakoulu, ISSN 0356-4940; 95 |
| Klassifikation | |
| Tillverkare | (Tampereen pikakopio) |
| Mer information | Hannu-Matti Järvinen |
| ISBN |
951-721-817-6 nidottu |
| Hämta fulltext | |