Johdanto tilakoneformalismin käyttöön tietoliikenneprotokollien spesifioinnissa ja analyysissä
Finna-arvio
Johdanto tilakoneformalismin käyttöön tietoliikenneprotokollien spesifioinnissa ja analyysissä
Tallennettuna:
Ulkoasu |
[3], 90 lehteä : kuvitettu ; 30 cm |
---|---|
Kieli |
suomi |
Huomautukset |
Kannessa: Julkaisu B-1989-1. |
Julkaisija |
Hki :
Helsingin yliopisto,
1989.
|
Sarja | Helsingin yliopiston tietojenkäsittelyopin laitoksen julkaisusarja, B, ISSN 0780-640X; 1989, 1. |
Luokitus | |
Lisätiedot | Martti Tienari |
ISBN |
951-45-5027-7 nidottu |