Formal Methods for Protocol Engineering and Distributed Systems : Forte XII / PSTV XIX.99 /

Guardado en:
Bibliografiske detaljer
Hovedforfatter: Jianping Wu, Samuel T. Chanson, Qiang Gao (edición)
Format: Bog
Sprog:engelsk
Udgivet: Nueva York, EUA : Springer, 1999, c1999
Serier:(IFIP Advances in Information and Communication Technology)
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!