Formal description techniques and protocol specification Testing and verification
Togashi A
Formal description techniques and protocol specification Testing and verification Atsushi Togashi - London Chapman and Hall 1997 - Vii,550p,ill Hbk
0412820609
T174461997 / 0031260
Formal description techniques and protocol specification Testing and verification Atsushi Togashi - London Chapman and Hall 1997 - Vii,550p,ill Hbk
0412820609
T174461997 / 0031260