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

LC Number

76.9

LC CutterNumber

.D5F66

LC Date

2004

وارد کنندة اطلاعات

فراهاني

Link To Document