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 ...
Read More
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.
Read Less
Add this copy of Real-Time and Multi-Agent Systems to cart. $60.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2000 by Springer.
Add this copy of Real-Time and Multi-Agent Systems to cart. $61.22, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2000 by Springer.
