分享给好友:
Real-time and Multi-agent Systems - Practitioner Series Ammar Attoui Softcover Reprint of the Original 1st Ed. 2000 edition
Real-time and Multi-agent Systems - Practitioner Series
Ammar Attoui
Presents an account of real-time systems, including program structures, phases development analysis, and formal specification and verification methods of reactive systems. This book brings together the 3 key fields of data-processing: distributed systems and applications; parallel scientific computing; and, real-time and manufacturing systems.
481 pages, 282 black & white illustrations, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2000年9月22日 |
| ISBN13 | 9781852332525 |
| 出版商 | Springer London Ltd |
| 页数 | 481 |
| 商品尺寸 | 155 × 235 × 24 mm · 680 g |
| 语言 | 英语 |
| 创作者 | S. Ingram |