Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII .97 /
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | englanti |
| Julkaistu: |
Nueva York, EUA :
Springer,
1997, c1997
|
| Sarja: | (IFIP Advances in Information and Communication Technology)
|
| Linkit: | Ver documento en línea |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|