Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France / edited by Stan Budkowski, Ana Cavalli, Elie Najm

資料種別:

図書

出版情報:

Boston : Kluwer Academic Publishers, 1998

形態:

viii, 467 p. ; 24 cm

シリーズ名:

The International Federation for Information Processing ; 6 <BA39641980>

著者名:

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification

Budkowski, Stan

IFIP TC/WG 6.1 International Conference on Formal Descrioption Techniques for Distributed Systems and Communication Protocols

IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification

さらに 1 件

ISBN:

9780412847608 [0412847604] (: alk. paper)

書誌ID:

BA40509947

子書誌情報

フルテキスト

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 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	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, 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
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 図書 Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : … FORTE, Wang, Farn Springer
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 図書 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
6 図書 Protocol test systems, VIII : proceedings of the IFIP WG6.1 TC6 eighth International Workshop on Protocol Test Systems, September 1995 International Workshop on Protocol Test Systems, Cavalli, Ana, Budkowski, Stan, International Federation for Information … Chapman & Hall	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12