Inicio A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors de R. Kurki-Suonio (ISBN: 9783642062377)

Foto de archivo: la portada puede ser diferente

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors Tapa blanda - 2010

Name: A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Price: 71.96 GBP
Availability: InStock
Author: R. Kurki-Suonio
ISBN: 9783642062377

de R. Kurki-Suonio

Ver más ejemplares ↓

Información de la editorial

This book presents a practical theory of reactive systems. The theory supports incremental development of operational, object-oriented models in steps that preserve already established properties. Models are given in an action-oriented language, and their modularity relates to aspects in aspect-oriented programming. The emphasis is on theoretical understanding of reactive behaviors and on using horizontal modularity to manage their complexity. Special chapters are devoted to the applicability of the theory to distributed and real-time systems. Incremental specification is illustrated in the book by a number of examples of varying size and complexity.

Detalles

Título A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
Autor R. Kurki-Suonio
Encuadernación Tapa blanda
Edición Softcover reprin
Páginas 420
Volúmenes 1
Idioma ENG
Editorial Springer
Fecha de publicación 2010-10-21
ISBN 9783642062377 / 3642062377
Peso 1.36 libras (0.62 kg)
Dimensiones 9.21 x 6.14 x 0.9 pulgadas (23.39 x 15.60 x 2.29 cm)
Dewey Decimal Code 005.1

Acerca del autor

Reino Kurki-Suonio has a PhD in mathematics from the University of Helsinki. He entered the field of computing in 1960. In 1965 he moved from industry to the University of Tampere to start the first computer science department in Finland. In 1980 he was invited to develop education in information technology at Tampere University of Technology, where he currently serves as professor emeritus at the Institute of Software Systems. During his career he has held visiting positions at Carnegie Mellon and Stanford Universities, and has served as the Chair of IFIP Technical Committee on Software, Theory and Practice.

Ir arriba↑

Más ejemplares

A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors

de R. Kurki-Suonio

Nuevo

Estado

Nuevo

ISBN 10 / ISBN 13

9783642062377 / 3642062377

Cantidad disponible

430

Librería

Ria Christie Collections

Uxbridge, Greater London, United Kingdom

Puntuación del vendedor:

Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.

Precio

EUR 86.29

EUR 9.58 enviando a USA

Mostrar detalles

Descripción:

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors.