1. Design and validation of computer protocols
پدیدآورنده : Holzmann, Gerard J
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer network protocols-- Design
رده :
TK
5105
.
5
.
H645
1991
2. Design and validation of computer protocols
پدیدآورنده : Holzmann, Gerard J.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Computer network protocols- Design
3. Design and validation of computer protocols
پدیدآورنده : Gerard J. Holzmann
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (طهران)
موضوع : Computer network protocols -- Design
رده :
TK
5105
.
5
.
H65
1991
4. Design and validation of computer protocols
پدیدآورنده : Gerard J. Holzmann
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Computer network protocols -- Design
رده :
TK
5105
.
5
.
H65
1991
5. Design and validation of computer protocols
پدیدآورنده : Holzmann, Gerard J.
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Computer network protocols- Design
رده :
TK
5105
.
5
.
H645
1991
6. Design and validation of computer protocols
پدیدآورنده : Gerard J. Holzmann
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Computer network protocols - Design
رده :
TK
,
5105
.
5
,.
H645
,
1991
7. Design and validation of computer protocols
پدیدآورنده : / Gerard J. Holzmann.,هالزمن,Holzmann
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : پروتکلهای شبکه کامپیوتری -- طراحی,Computer network protocols -- Design.
رده :
TK
۵۱۰۵
/
۵
/
ھ
۲
د
۹ ۱۳۷۰