コンピュータプロトコルの設計法 : 正しいプロトコルの設計と検証へ導く総合解説書 (コンピュータ通信シリーズ ; 3)

コンピュータプロトコルの設計法 : 正しいプロトコルの設計と検証へ導く総合解説書

(コンピュータ通信シリーズ ; 3)

Call No. (NDL): ND633-G100
Bibliographic ID of National Diet Library: 000002483020

Material type: 図書

Author: Gerard J.Holzmann 著ほか

Publisher: カットシステム

Publication date: 1994.11

Material Format: Paper

Capacity, size, etc.: 600p ; 22cm

NDC: 547.48

View All

Notes on use

Note (General)：: 原タイトル: Design and validation of computer protocols

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 4-906391-10-9
Title: コンピュータプロトコルの設計法 : 正しいプロトコルの設計と検証へ導く総合解説書
Title Transcription: コンピュータプロトコルノセッケイホウ
Author/Editor: Gerard J.Holzmann 著
水野忠則 [ほか]共訳
Series Title: コンピュータ通信シリーズ ; 3
Author Heading: Holzmann, Gerard J ( 00513966 )Authorities
水野, 忠則, 1945- ミズノ, タダノリ, 1945- ( 00122060 )Authorities
Publication, Distribution, etc.: 東村山 : カットシステム
Publication Date: 1994.11
Publication Date (W3CDTF): 1994
Extent: 600p
Size: 22cm
Additional Title: Design and validation of computer protocols
Place of Publication (Country Code): JP
Text Language Code: jpn
Original Text Lang. Code: eng
Subject Heading: プロトコル (通信工学) プロトコル (ツウシンコウガク) ( 00828222 )Authorities
NDC 8th ed.: 547.48
NDLC: ND633
Target Audience: 一般
Note (General): 原タイトル: Design and validation of computer protocols
Note (Bibliography): 参考文献: p495～518
Price: 6000円 (税込)
Holding library: 国立国会図書館
Call No.: ND633-G100
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000002483020
http://id.ndl.go.jp/bib/000002483020
National Bibliography No. (JPNO): 96045388
Cataloging Rule: Nippon Cataloging Rules, Preliminary New Edition
Bibliographic Record Category (NDL): 111