-
RecordNumber
35254
-
Title
Formal methods for embedded distributed systems : how to master the complexity
-
Author Statement
edited by Fabrice Kordon and Michel Lemoine
-
Publication
Kluwer Academic , Kluwer Academic
-
Publication Year
2004
-
Collation
xx, 263 p. : ill
-
Notes
Includes bibliographical references , 1402079966
-
Subject
Electronic data processing , Embedded computer systems
-
ADDED ENTRIES
Kordon, Fabrice
-
LC Class
QA
-
LC Number
76.9
-
LC CutterNumber
.D5F66
-
LC Date
2004
-
وارد کنندة اطلاعات
فراهاني
-
Link To Document :
