Cover Image

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

Show other versions (1)
Bibliographic Details
Other Authors: Kordon, Fabrice, Lemoine, Michel, 1947-
Format: Book
Language:English
Published: Boston : Kluwer Academic, 2004.
Subjects:
Electronic data processing > Distributed processing.
Embedded computer systems.
Description
Physical Description:xx, 263 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references.
ISBN:1402079966 (alk. paper)