---

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, Mokika Heiner, Adam Wolisz (eds)
(Lecture notes in computer science ; 2767)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	xii, 429 p. : ill. ; 24 cm
別書名	背表紙タイトル:Formal techniques for networked and distributed systems -- FORTE 2003 : FORTE 2003 表紙タイトル:Formal techniques for networked and distributed systems -- FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September/October 2003 : proceedings
著者標目	*International Conference on Formal Techniques Networked and Distributed Systems (FORTE) (23rd : 2003 : Berlin, Germany) König, Hartmut Heiner, Monika, 1954- Wolisz, Adam
件　名	LCSH:Formal methods (Computer science) -- Congresses  全ての件名で検索 LCSH:Electronic data processing -- Distributed processing -- Congresses  全ての件名で検索 LCSH:Computer network protocols -- Congresses  全ての件名で検索
分　類	NDC:549.92 LCC:QA76.9.F67 DC22:004/.01/51
書誌ID	LT00674816

 類似資料