秋田公立美術大学OPAC

ようこそ  ゲスト さん

Design and validation of computer protocols / Gerard J. Holzmann

(Prentice-Hall software series)
データ種別 図書
出版者 Englewood Cliffs, N.J. : Prentice Hall
出版年 c1991
本文言語 英語
大きさ xii, 500 p. : ill. ; 25 cm

所蔵情報を非表示

1

秋田公立美術大学

配架場所 巻 次 請求記号 登録番号 状 態 コメント ISBN 刷 年 利用注記 予約 指定図書
閉架書庫
007.1 || H83 0110788
0135399254 1991

書誌詳細を非表示

一般注記 At head of title: AT & T
Includes bibliographical references and indexes
著者標目 *Holzmann, Gerard J.
American Telephone and Telegraph Company
件 名 LCSH:Computer network protocols -- Design
分 類 LCC:TK5105.5
DC20:004.6/2
書誌ID 2000031433
ISBN 0135399254
NCID BA12747732

検索結果一覧に戻る ページトップ