Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Design and validation of computer protocols
پدید آورنده
Holzmann, Gerard J.
موضوع
، Computer network protocols- Design
رده
TK
5105
.
5
.
H64
کتابخانه
Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
88881052
-
88881042
-
021
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Design and validation of computer protocols
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Englewood Cliffs, N.J.
Name of Publisher, Distributor, etc.
Prentice-Hall
Date of Publication, Distribution, etc.
c1991
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 500 p. : ill
SERIES
Other Title Information
Prentice Hall software series
GENERAL NOTES
Text of Note
Includes bibliographical references and indexes
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Gerard J. Holzmann
ORIGINAL VERSION NOTE
Text of Note
1
Text of Note
2
Text of Note
3
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer network protocols- Design
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TK
5105
.
5
.
H64
OTHER CLASS NUMBERS
Class number
NO
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Holzmann, Gerard J.
Relator Code
AU
AU American Telephone and Telegraph Company
TI
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal