عنوان
پدید آورنده
موضوع
رده
TK۵۱۰۵/۵ /ھ۲د۹ ۱۳۷۰
TK
۵۱۰۵
/
۵
/
ھ
۲
د
۹ ۱۳۷۰
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0-13-539834-7
NATIONAL BIBLIOGRAPHY NUMBER
Number
۲۴۲۳۳۴۳
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Design and validation of computer protocols
First Statement of Responsibility
/ Gerard J. Holzmann.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Englewood Cliffs, N.J.
Name of Publisher, Distributor, etc.
: Prentice-Hall international , inc
Date of Publication, Distribution, etc.
=1370.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii،۵۰۰ص.
Other Physical Details
: مصور،جدول.
SERIES
Series Title
Prentice Hall software series
Series Title
Prentice-Hall international editions.
Statement of Responsibility
/ Brain W. Kernighan , advisor.
GENERAL NOTES
Text of Note
انگلیسی.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
کتابنامه.
Text of Note
نمایه.
CONTENTS NOTE
Text of Note
At head of title: AT & T.
دیزاین ولیدیشن آو...
TOPICAL NAME USED AS SUBJECT
پروتکلهای شبکه کامپیوتری -- طراحی
Computer network protocols -- Design.
DEWEY DECIMAL CLASSIFICATION
Number
۰۰۴
/
۶۲
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK
۵۱۰۵
/
۵
Book number
/
ھ
۲
د
۹ ۱۳۷۰
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
هالزمن
Entry Element
Holzmann
Part of Name Other than Entry Element
، جرارد
Part of Name Other than Entry Element
, Gerard J.
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
شرکت آمریکایی تلفن و تلگراف
American Telephone and Telegraph Company.
«برون سپاری/ دردست مستند سازی»
