Using Formal Description Techniques: An Introduction to ESTELLE, LOTOS and SDL
아직 평점이 없습니다
Jan 19, 1993
·
영어
·
페이퍼백
(460 페이지)