کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابFormal Description Techniques and Protocol Specification, Testing and Verification :
پدیدآورنده: Stan Budkowski
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
9
.
D5
S736
1998
Formal Description Techniques and Protocol Specification, Testing and Verification :
پدیدآورنده: edited by Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.
رده :
QA76
.
9
.
D5
E358
1997
Formal description techniques and protocol specification, testing, and verification: FORTE X/PSTV
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing-- Distributed processing-- Congresses,، Computer network protocols-- Congresses
رده :
QA
76
.
9
.
D5
.
I33845
1997
Protocol Specification Testing and verification
پدیدآورنده:
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع:
رده :
P
.
E
.
37
R
Protocol Specification ,testing and verification ,XII
پدیدآورنده: / IFIP WG 6.1 international symposium on protocol specification ,testing and verification -- 12th (June 22 - 25 ,1992)
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer network protocols -- congresses
رده :
TK
5105
.
5
.
I34264
1992
Protocol specification, testing, and Verification, IX
پدیدآورنده: / edited by ED brinksma, Giuseppe Scollo, Chris A. Vissers
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Computer network protocols -- Congresses
رده :
TK
5105
.
5
.
I3426
1989
Protocol specification testing and verification
پدیدآورنده:
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع:
رده :
P
.
E
.
35
R
Protocol specification, testing, and verification ... :Proceedings of the IFIP WG 6 .1 ... International Symposium on Protocol Specification, Testing, an
پدیدآورنده :
موضوع : Computer network protocols--Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
Protocol specification, testing, and verification, X
پدیدآورنده: / edited by Luigi Logrippo, Robert L. Probert, Hasan Ural
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Computer network protocols -- Congresses
رده :
TK
5105
.
5
.
I34264
1990
Protocol specification, testing, and verification, XII
پدیدآورنده: edited by R. J. Linn, Jr., M. Ü. Uyar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer network protocols-- Design.,Computer network protocols, Congresses.
Protocol specification, testing and verification, XIII : Proceedings of the IFIP TC6/WG6.1
پدیدآورنده: edited by A. Danthine, G. Leduc, P. Wolper
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer network protocols - Congresses
رده :
TK
5105
.
5
.
I34264
1993
Protocol specification, testing, and verification, XIII: proceedings of the IFIP WG 6.1, thirteenth
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computer network protocols
رده :
TK
5105
.
5
.
I34264
1993
Protocol specification, testing, and verification, eleventh
پدیدآورنده: / editd by: Bengt Josson, Joachim Parrow, Bjorn pehrson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Computer network protocols -- Congresses
رده :
TK
5105
.
5
.
I34264
1991
Protocol specification, testing, and verification :proceedings of the IFIP WG 6.1 ... International
پدیدآورنده:
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: Congresses ، Computer network protocols
رده :
TK
5105
.
5
.
I3426
1987
Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1
پدیدآورنده: IFIP WG 6.1 International Conference on Protocol Specification, Testing, and Verification.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer network protocols- Congresses
رده :
TK
5105
.
5
.
I3426
1989
Protocol specification, testing, and verification :proceedings of the IFIP WG 6.1 ... International
پدیدآورنده:
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: Congresses ، Computer network protocols
رده :
TK
5105
.
5
.
I3426
1988
