Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings

Author：David de Frutos-Escrig, Manuel Nunez, editors.
Publisher：Springer
ISBN：9783540232520 (paper)
Publication Date：c2004.
其他作者：Frutos-Escrig, David de. ; Nunez, Manuel
語言：zh
出版地：Berlin ; New York :
Description

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

Search Same Author