Design and validation of computer protocols /

書誌詳細
第一著者: Holzmann, Gerard J.
団体著者: American Telephone and Telegraph Company
フォーマット: 図書
言語:English
出版事項: Englewood Cliffs, N.J. : Prentice Hall, c1991.
シリーズ:Prentice Hall software series
主題:
Classic Catalogue: View this record in Classic Catalogue
その他の書誌記述
記述事項:At head of title: AT & T.
物理的記述:xii, 500 p. : ill. ; 25 cm.
書誌:Includes bibliographical references and indexes.
ISBN:0135399254