Using Formal Description Techniques: An Introduction to ESTELLE, LOTOS and SDL
まだ評価がありません
Jan 19, 1993
·
英語
·
ペーパーバック
(460 ページ)