Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International Workshop on Protocol Specification, Testing, and Verification

所蔵情報QRコード

Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International Workshop on Protocol Specification, Testing, and Verification / organized by Columbia University, Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984; edited by Yechiam Yemini, Robert Strom, and Shaula Yemini

資料種別:

図書

出版情報:

Amsterdam; New York : North-Holland
New York, N.Y., U.S.A. : Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co., 1985

形態:

xii, 720 p. ; 23 cm

著者名:

IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification <DA00016838>

Yemini, Yechiam <DA00016849>

Strom, Robert <DA0001685X>

Yemini, Shaula <DA00016860>

IFIP Working Group 6.1 <DA00016871>

Columbia University <DA00017003>

さらに 1 件

ISBN:

9780444876768 [0444876766] (U.S.)

書誌ID:

BA00008516

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographies
主題:	Computer network protocols--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 Protocol specification, testing, and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and … IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification, Logrippo, Luigi, Probert, … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.	7 図書 Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and … IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification, Sunshine, Carl A., University … North-Holland Pub. Co.
2 図書 Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and … IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification, Diaz, Michel, 1945-, IFIP … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.	8 図書 Protocol specification, testing, and verification, XIII : proceedings of the IFIP TC 6/WG 6.1 Thirteenth International Symposium on Protocol Specification, … IFIP TC 6/WG 6.1 International Symposium on Protocol Specification, Testing and Verification, Danthine, André, Leduc, … North-Holland
3 図書 Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and … IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification, Rudin, Harry, 1937-, West, … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.	9 図書 Protocol specification, testing, and verification, XI : proceedings of the IFIP WG 6.1, eleventh International Symposium on Protocol Specification, Testing, and … IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification, Jonsson, Bengt, 1957-, Parrow, … North-Holland
4 図書 Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and … IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification, Brinksma, Ed, Scollo, … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.	10 図書 Protocol specification, testing, and verification, XII : proceedings of the IFIP TC 6/WG 6.1, twelth International Symposium on Protocol Specification, Testing, … IFIP TC 6/WG 6.1 International Symposium on Protocol Specification, Testing and Verification, Linn, R. J., Uyar, M. Ü. North-Holland
5 図書 Protocol specification, testing, and verification, VI : proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and … IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification, Bochmann, Gregor V., Sarikaya, … North-Holland	11 図書 Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on … (: alk. paper) IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication … Kluwer Academic Publishers
6 図書 Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and … IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification, Rudin, Harry, 1937-, West, … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.	12 図書 Formal description techniques and protocol specification, testing, and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on … IFIP TC6 EG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication … Chapman & Hall

1

2

3

4

5

6

7

8

9

10

11

12