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 Nunez, editors.
出版社：Springer
ISBN：9783540232520 (paper)
出版日期：c2004.
其他作者：Frutos-Escrig, David de. ; Nunez, Manuel
語言：zh
出版地：Berlin ; New York :
內容簡介

x, 375 p. ::ill., digital ;:24 cm.

搜尋同作者