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. The book brings together the 3 key fields of current and future data-processing: distributed systems and applications, parallel scientific computing, and 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 many examples plus complete case studies.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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. The book brings together the 3 key fields of current and future data-processing: distributed systems and applications, parallel scientific computing, and 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 many examples plus complete case studies.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USA
Paperback. Zustand: Very Good. London, Berlin, Heidelberg: Springer-Verlag, 2000. XX, 461 pp. 23.5 x 15.5 cm. Glossy illustrated stiff paper wrappers. Light rubbing to covers consistent with normal shelfwear. Small bump to head of spine. Interior is clean and unmarked. Binding firm with no creases or cracks. . Soft Cover. Very Good. Artikel-Nr. 626545
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Paperback. Zustand: Very Good. [(Real-time and Multi-agent Systems)] [by: Ammar Attoui] This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Artikel-Nr. 7719-9781852332525
Anzahl: 1 verfügbar
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Zustand: Gut. 488 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,4 x 15,6 x 2,9 cm, Taschenbuch Auflage: Softcover reprint of the original 1st ed. 2000. Artikel-Nr. 384459
Anzahl: 1 verfügbar
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Paperback. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Artikel-Nr. 6545-9781852332525
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 461 pages. 9.00x6.00x1.25 inches. In Stock. Artikel-Nr. x-1852332522
Anzahl: 2 verfügbar
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Real-Time and Multi-Agent Systems | Ammar Attoui | Taschenbuch | xx | Englisch | 2000 | Springer | EAN 9781852332525 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 106306673
Anzahl: 5 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a translation ofthe accomplishment ofthe French engineer Ammar Attoui, who has set out to bring together the works of computer scientists and automotive engineers. Computer scientists have worked on the same type of systems as automotive engineers, but have used different designs, methods and tools. The former call the resultant systems 'real-time systems', and the latter call them 'discontinuous event systems'. Today, telecommunications systems of increasing performance, and increasingly powerful multi-task operating and real time systems offer the possibilities of the development of distributed structure applications organized in a group ofasynchronous entities which communicate by the exchange of messages and events. Hence, combining the cultures ofcomputer science and automotive engineering is essential to gain the benefits of unifying their techniques and methods in order to realize this potential. The absence of the global state in distributed systems, which is a result of the absence of a shared memory and unique repository, makes communication via messaging the sole means which can be used under any circumstances. Agents are conceptual communicating entities. The book presents the methods and tech niques which are necessary for the concrete implementation ofthe idea ofan agent as an autonomous and reactive computing entity. Multi-agent systems are com posed ofa set ofspecialized entities communicating on behalfofa global applica tion. Artikel-Nr. 9781852332525
Anzahl: 1 verfügbar
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 488 | Sprache: Englisch | Produktart: Bücher | This book is a translation ofthe accomplishment ofthe French engineer Ammar Attoui, who has set out to bring together the works of computer scientists and automotive engineers. Computer scientists have worked on the same type of systems as automotive engineers, but have used different designs, methods and tools. The former call the resultant systems "real-time systems", and the latter call them "discontinuous event systems". Today, telecommunications systems of increasing performance, and increasingly powerful multi-task operating and real time systems offer the possibilities of the development of distributed structure applications organized in a group ofasynchronous entities which communicate by the exchange of messages and events. Hence, combining the cultures ofcomputer science and automotive engineering is essential to gain the benefits of unifying their techniques and methods in order to realize this potential. The absence of the global state in distributed systems, which is a result of the absence of a shared memory and unique repository, makes communication via messaging the sole means which can be used under any circumstances. Agents are conceptual communicating entities. The book presents the methods and tech niques which are necessary for the concrete implementation ofthe idea ofan agent as an autonomous and reactive computing entity. Multi-agent systems are com posed ofa set ofspecialized entities communicating on behalfofa global applica tion. Artikel-Nr. 701/202
Anzahl: 1 verfügbar