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

作者：edited by Fabrice Kordon and Michel Lemoine.
出版社：Kluwer Academic
ISBN：9781402079979 (electronic bk.) ; 9781402079962 (paper)
出版日期：c2004.
其他作者：Kordon, Fabrice. ; Lemoine, Michel
語言：zh
出版地：Boston :
內容簡介

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

搜尋同作者