Real-Time and Multi-Agent Systems /

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-pr...

Full description

Bibliographic Details

Main Author:	Attoui, Ammar
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London : Imprint : Springer, 2000.
Series:	Practitioner series.
Subjects:	Computer science. Computer Communication Networks. Software engineering. Operating systems (Computers) Electronic books.
Online Access:	Connect to the full text of this electronic book