Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification, organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985

所蔵情報QRコード

Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification, organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985 / edited by Michel Diaz

資料種別:

図書

出版情報:

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

形態:

xi, 544 p. ; 24 cm

著者名:

ISBN:

9780444878816 [0444878815]

書誌ID:

BA00067479

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

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

東工大ブックレビュー

類似資料:

1 図書 Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and … FORTE, Diaz, Michel, 1945-, Groz, Roland North-Holland	7 図書 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.
2 図書 Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International Workshop on Protocol Specification, Testing, and … (U.S.) IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification, Yemini, Yechiam, Strom, Robert, … North-Holland, Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co.	8 図書 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.
3 図書 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	9 図書 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
4 図書 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.	10 図書 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
5 図書 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.	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, 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.	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12