Real-Time and Multi-Agent Systems (Paperback, Softcover reprint of the original 1st ed. 2000)

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.

General

Imprint:	Springer London
Country of origin:	United Kingdom
Series:	Practitioner Series
Release date:	September 2000
First published:	2000
Translators:	S Ingram
Authors:	Ammar Attoui
Dimensions:	235 x 155 x 24mm (L x W x T)
Format:	Paperback
Pages:	461
Edition:	Softcover reprint of the original 1st ed. 2000
ISBN-13:	978-1-85233-252-5
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > Parallel processing
LSN:	1-85233-252-2
Barcode:	9781852332525

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!