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
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