Formal description techniqices and protocol specification testing and verification forte x / PSTV XVII .97

Mizuno, T. / Vshiraior , N. / Higashino, T . Togashi, A .

Formal description techniqices and protocol specification testing and verification forte x / PSTV XVII .97 - London Chapman 1997 - xi, 550p.: ill. hbk

0412820609


Technological innovation Communication