1 电子书 Quiang Gao
Samuel T. Chanson & Quiang Gao: Formal Methods for Protocol Engineering and Distributed Systems
Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the st …
PDF
英语
DRM
€229.25