Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992 | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992 / edited by Michel Diaz, Roland Groz

資料種別:

図書

出版情報:

Amsterdam ; New York : North-Holland, 1993

形態:

xvi, 508 p. ; 23 cm

シリーズ名:

IFIP transactions ; C . Communication systems ; 10 <BA13962399>

著者名:

ISBN:

9780444892829 [0444892826]

書誌ID:

BA19412299

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	Formal description techniques, 5 Formal description techniques, five
注記:	Includes bibliographical references and index
主題:	Computer network protocols--Congresses; Electronic data processing--Distributed processing--Congresses; Formal languages--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, 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
2 図書 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	8 図書 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
3 図書 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.	9 図書 Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, … FORTE, König, Hartmut, 1947-, Heiner, Monika, 1954-, Wolisz, Adam, IFIP Working Group 6.1 Springer
4 図書 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	10 図書 Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : … FORTE, Frutos-Escrig, David de, Núñes, Manuel, IFIP Working Group 6.1 Springer
5 図書 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	11 図書 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.
6 図書 Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, … FORTE, Najm, Elie, Pradat-Peyre, Jean-François, Donzeau-Gouge, Véronique Viguié Springer	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12