Product Information
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.Product Identifiers
PublisherSpringer London LTD
ISBN-139781852332525
eBay Product ID (ePID)87097830
Product Key Features
Number of Pages461 Pages
Publication NameReal-Time and Multi-Agent Systems
LanguageEnglish
SubjectComputer Science
Publication Year2000
TypeTextbook
AuthorAmmar Attoui
SeriesPractitioner Series
Dimensions
Item Height235 mm
Item Weight741 g
Additional Product Features
Country/Region of ManufactureUnited Kingdom
Title_AuthorAmmar Attoui