IFIP Working Group 6.1

この人物の情報

人物別名 I.F.I.P. W.G. 6.1

I.F.I.P. Working Group 6.1

IFIP WG 6.1

International Federation for Information Processing. Working Group 6.1
生年 -
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings John Derrick, Jüri Vain (eds.) Springer
c2007
Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : proceedings David de Frutos-Escrig, Manuel Núñes (eds.) Springer
c2004
Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, proceedings Hartmut König, Monika Heiner, Adam Wolisz (eds.) Springer
c2003
Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference, Houston, Texas, USA, November 11-14, 2002 : proceedings Doron A. Peled, Moshe Y. Vardi (eds.) Springer
c2002
Protocol test systems, VIII : proceedings of the IFIP WG6.1 TC6 eighth International Workshop on Protocol Test Systems, September 1995 edited by Ana Cavalli and Stan Budkowski Chapman & Hall
1996
Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques edited by Dieter Hogrefe and Stefan Leue Chapman & Hall, on behalf of the International Federation for Information Processing
1995
Protocol test systems, 7th workshop : 7th IFIP WG6.1 International Workshop on Protocol Test Systems edited by Tadanori Mizuno, Teruo Higashino, Norio Shiratori ; sponsored by IFIP TC 6/WG 6.1 in cooperation with IPS of Japan and INTAP Chapman & Hall
1995
Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993 edited by Omar Rafiq North-Holland
1994
Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993 edited by Jan de Meer, Bernd Mahr, Silke Storp North-Holland
1994
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想