Formal methods for embedded distributed systems : how to master the complexity

Author：edited by Fabrice Kordon and Michel Lemoine.
Publisher：Kluwer Academic
ISBN：9781402079979 (electronic bk.) ; 9781402079962 (paper)
Publication Date：c2004.
其他作者：Kordon, Fabrice. ; Lemoine, Michel
語言：zh
出版地：Boston :
Description

xx, 263 p. ::ill., digital ;:25 cm.

Search Same Author