عنوان
پدید آورنده
موضوع
رده
QA 76.9 .D5F67
QA
76
.
9
.
D5F67
کتابخانه
محل استقرار
Formal methods for embedded distributed systems : how to master the complexity
Boston
Kluwer Academic
c2004
xx, 263 p.: ill.
Includes bibliographies
ISBN: 1402079966
edited by Fabrice Kordon and Michel Lemoine
1
، Electronic data processing -- Distributed processing
، Embedded computer systems
QA
76
.
9
.
D5F67
TI
AU Kordon, Fabrice
AU Lemoine, Michel, 1947-
