close
1.

図書
図書
1. Formal description techniques, IX : theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996
edited by Reinhard Gotzhein and Jan Bredereke
出版情報: London : published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996  vii, 516 p. ; 25 cm
所蔵情報: loading…
2.

図書
図書
2. 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
出版情報: London ; Tokyo : Chapman & Hall on behalf of the International Federation for Information Processing, 1995  x, 520 p. ; 25 cm
所蔵情報: loading…
3.

図書
図書
3. 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
所蔵情報: loading…
4.

図書
図書
4. 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.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2767
所蔵情報: loading…
5.

図書
図書
5. Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)
出版情報: Berlin : Springer, c2006  xii, 486 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4229
所蔵情報: loading…
6.

図書
図書
6. Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
Farn Wang (ed.)
出版情報: Berlin : Springer, c2005  xii, 558 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3731
所蔵情報: loading…
7.

図書
図書
7. 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.)
出版情報: Berlin : Springer, c2004  x, 375 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3235
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼