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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9781852332525_new
Cantidad disponible: Más de 20 disponibles
Librería: Chiron Media, Wallingford, Reino Unido
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9781852332525
Cantidad disponible: 10 disponibles
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Nº de ref. del artículo: C9781852332525
Cantidad disponible: Más de 20 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9781852332525
Cantidad disponible: 1 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 461 pages. 9.00x6.00x1.25 inches. In Stock. Nº de ref. del artículo: x-1852332522
Cantidad disponible: 2 disponibles
Librería: moluna, Greven, Alemania
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A good introduction/practitioner s guide to distributed programmingContains lots of complete examplesA detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verif. Nº de ref. del artículo: 4289440
Cantidad disponible: Más de 20 disponibles
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 488 pp. Englisch. Nº de ref. del artículo: 9781852332525
Cantidad disponible: 2 disponibles
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 488 pp. Englisch. Nº de ref. del artículo: 9781852332525
Cantidad disponible: 1 disponibles
Librería: Buchpark, Trebbin, Alemania
Condición: 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. Nº de ref. del artículo: 701/202
Cantidad disponible: 1 disponibles
Librería: Mispah books, Redhill, SURRE, Reino Unido
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Nº de ref. del artículo: ERICA70418523325226
Cantidad disponible: 1 disponibles