Johdanto tilakoneformalismin käyttöön tietoliikenneprotokollien spesifioinnissa ja analyysissä
Finna-arvio
Johdanto tilakoneformalismin käyttöön tietoliikenneprotokollien spesifioinnissa ja analyysissä
Tallennettuna:
| Ulkoasu |
90 lehteä |
|---|---|
| Kieli |
suomi |
| Alkuteoksen kieli |
suomi |
| Julkaisija |
Helsinki :
Helsingin yliopisto,
1989.
|
| Sarja | Helsingin yliopiston Tietojenkäsittelyopin laitoksen julkaisusarja, B, 1989, 1. |
| Luokitus | |
| Lisätiedot | Martti Tienari |
| ISBN |
951-45-5027-7 |