Real-time and multi-agent systems
Auteur :
Attoui, Ammar
Éditeur :
Attoui, AmmarIngram, S.,
ISBN :
9781852332525
Date de publication :
22 sept. 2000
Dimensions :
23,5 x 15,5 x 2,4 cm
Poids :
741 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Presents an account of real-time systems, including program structures, phases development analysis, and formal specification and verification methods of reactive systems. This book brings together the 3 key fields of data-processing: distributed systems and applications; parallel scientific computing; and, real-time and manufacturing systems.