Foundations of real-time computing formal specifications and methods
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Boston
Kluwer Academic Publishers
1991
|
Σειρά: | The Kluwer international series in engineering and computer science
|
Θέματα: |
Φυσική περιγραφή: | ix, 316 p. 25 cm |
---|---|
ISBN: | 0792391675 |