Formal model-driven development of communicating systems
Finna-arvio
Formal model-driven development of communicating systems
Tallennettuna:
Ulkoasu |
36, [2] sivua : kuvitettu ; 25 cm |
---|---|
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Julkaisija |
Turku :
Turku Centre for Computer Science,
2005.
|
Sarja | TUCS technical report, ISSN 1239-1891; no 691. |
Luokitus | |
Lisätiedot | Linas Laibinis ... [ja muita] |
ISBN |
952-12-1564-X nidottu |
Hae kokoteksti |