Using Formal Description Techniques: An Introduction to ESTELLE, LOTOS and SDL
还没有评分
Jan 19, 1993
·
英语
·
平装书
(460 页数)