定    价: 280.00 元  The Theory of Timed I/O Automata   书      号： 9781598293579 作      者： Dilsun K.Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager 译      者： 出版时间： 2009年11月 图书类型： 原版 开      本： 16开 页      数： 120 版      本： 1版1次 语      种： 英语 正文纸张： 胶版纸 装      帧： 精装

相关推荐

目    录 1. Introduction 2. Mathematical Preliminaries 3. Describing Timed System Behavior 4. Timed Automata 5. Operations on Timed Automata 6. Timed I/O Automata 7. Operations on Timed I/O Automata 8. Conclusions and Future Work 查看全部