Formal description techniques and protocol specification, testing, and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing, and Verification (PSTV XVII) : 18-21 November 1997, Osaka, Japan | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Formal description techniques and protocol specification, testing, and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing, and Verification (PSTV XVII) : 18-21 November 1997, Osaka, Japan / edited by Tadanori Mizuno [et al.]

資料種別:

図書

出版情報:

London : Chapman & Hall, 1997

形態:

vii, 550 p. ; 24 cm

著者名:

ISBN:

9780412820601 [0412820609]

書誌ID:

BA40509244

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Computer network protocols--Congresses; Electronic data processing--Distributed processing--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 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	7 図書 Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems … FORTE, Quemada, Juan, 1953-, Mañas, José, 1956-, Vázquez, Enrique, 1960- North-Holland, Distributors for the US and Canada, Elsevier Science Pub. Co.
2 図書 Formal methods for distributed system development : FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for … IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication … Kluwer Academic Publishers	8 図書 Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems … FORTE, Parker, K. R. (Ken R.), Rose, G. A. (Gordon A.) North-Holland
3 図書 Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description … IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication … Kluwer Academic	9 図書 Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques FORTE, Hogrefe, Dieter, Leue, Stefan, IFIP Working Group 6.1 Chapman & Hall on behalf of the International Federation for Information Processing
4 図書 Formal description techniques II : proceedings of the IFIP TC/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems … FORTE, Vuong, Son T. North-Holland	10 図書 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
5 図書 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	11 図書 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.
6 図書 Formal description techniques, IX : theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol … FORTE, Gotzhein, Reinhard, Bredereke, Jan, International Federation for Information Processing, IFIP TC 6/WG 6.1 … published by Chapman & Hall on behalf of the International Federation for Information Processing	12 図書 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.

1

2

3

4

5

6

7

8

9

10

11

12