This book provides a detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems.
Real-Time and Multi-Agent Systems brings together the 3 key fields of current and future data-processing:- Distributed systems and applications;- Parallel scientific computing;- Real-time and manufacturing systems.
It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains lots of examples as well as complete case studies.
By:
Ammar Attoui Translated by:
S. Ingram Imprint: Springer London Ltd Country of Publication: United Kingdom Edition: Softcover reprint of the original 1st ed. 2000 Dimensions:
Height: 235mm,
Width: 155mm,
Spine: 24mm
Weight: 741g ISBN:9781852332525 ISBN 10: 1852332522 Series:Practitioner Series Pages: 461 Publication Date:22 September 2000 Audience:
Professional and scholarly
,
Undergraduate
Format:Paperback Publisher's Status: Active