Data refinement of remote procedures
Finna-arvio
Data refinement of remote procedures
Tallennettuna:
Ulkoasu |
30, [2] sivua ; 25 cm |
---|---|
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Huomautukset |
To appear in Proceedings of the International Symposium on Theoretical Aspects of Computer Software (TACS '97) LNCS. |
Julkaisija |
Turku :
Turku Centre for Computer Science,
1997.
|
Sarja | TUCS technical report, ISSN 1239-1891; no 115. |
Luokitus | |
Lisätiedot | Kaisa Sere, Marina Waldén |
ISBN |
952-12-0018-9 nidottu |
Hae kokoteksti |