Quiang Gao – författare
Visar alla böcker från författaren Quiang Gao. Handla med fri frakt och snabb leverans.
3 produkter
Formal Methods for Protocol Engineering and Distributed Systems
Forte XII / PSTV XIX’99
Av Quiang Gao, Samuel T. Chanson m. fl.
E-bok, 2013
2925 kr
Lägg i varukorg
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 state of the art in theory, application, tools an industrialization of FDTs. Among the important …
Formal Methods for Protocol Engineering and Distributed Systems
Forte XII / PSTV XIX’99
Av Jianping Wu, Samuel T. Chanson m. fl.
Inbunden, 1999
2250 kr
Lägg i varukorg
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 state of the art in theory, application, tools an industrialization of FDTs. Among the important …
Formal Methods for Protocol Engineering and Distributed Systems
Forte XII / PSTV XIX’99
Av Jianping Wu, Samuel T. Chanson m. fl.
Häftad, 2013
2185 kr
Lägg i varukorg
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 state of the art in theory, application, tools an industrialization of FDTs. Among the important …
