«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Practical Theory of Reactive Systems

Incremental Modeling of Dynamic Behaviors

Idioma InglésInglés
Libro Tapa blanda
Libro Practical Theory of Reactive Systems R. Kurki-Suonio
Código Libristo: 01651511
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2010
This book presents a "practical theory" of reactive systems, with formal foundations in Temporal Log... Descripción completa
? points 138 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Sustainability Accounting, Management Control and Reporting Lucrezia Songini / Libro Tapa blanda
common.buy 73.19 €
L'Oracle de la 9e lune VAUTRIN / Libro Libro
common.buy 29.89 €
Planches-cadrans de radiesthésie médicale Fangain / Libro Anillas de fijación
common.buy 41.69 €
Pourquoi la vie passe plus vite à mesure qu'on vieillit ? Draaisma / Libro Tapa blanda
common.buy 27.09 €
A Katholikus Egyhazi Autonomia Es Veszelyei (1870) Istvantol Toldy / Libro Tapa blanda
common.buy 23.59 €
Die kleinen Milchschwestern von Peterstorf Joseph Alois Gleich / Libro Tapa blanda
common.buy 13.39 €
Auxiliar Administrativo del Servicio Andaluz de Salud. Temario específico volumenl 1 MARTOS NAVARRO / Libro Tapa blanda
common.buy 46.49 €
Ejercicios de estadística descriptiva y probabilidad para economía y administración de empresas José Miguel Casas Sánchez / Libro Tapa blanda
common.buy 40.09 €
Deux Amis En 1792 Assollant-A / Libro Tapa blanda
common.buy 28.39 €
Roman Von Tristan Und Isolde Arthur Schurig / Libro Tapa blanda
common.buy 12.89 €
Matangi -UEber drei Ozeane Paul Maier / Libro Tapa blanda
common.buy 22.79 €
Auswirkungen der EU-Osterweiterung auf den Wirtschaftsstandort Sachsen aus unternehmerischer Sicht Robert Langner / Libro Tapa blanda
common.buy 47.29 €
Die Ursprünge der jüdischen Mystik Peter Schäfer / Libro Tapa dura
common.buy 40.69 €
Ein sonderbares Licht in Teutschland. Gerd Heinrich / Libro Tapa blanda
common.buy 78.49 €
Der unerlaubte Einflug von Luftfahrzeugen in fremdes Staatsgebiet in Friedenszeiten und seine Rechtsfolgen. Joachim F. Bentzien / Libro Tapa blanda
common.buy 113.59 €

This book presents a "practical theory" of reactive systems, with formal foundations in Temporal Logic of Actions. 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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Practical Theory of Reactive Systems
Autor R. Kurki-Suonio
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 420
EAN 9783642062377
ISBN 3642062377
Código Libristo 01651511
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 676
Dimensiones 156 x 23 x 24

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Análisis y diseño de sistemas
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Arcadis George Kramer / Libro Tapa blanda
common.buy 10.99 €
Archimedes' Revenge: The Challenge of the Unknown Paul Hoffman / Libro Tapa blanda
common.buy 21.89 €
A History Of The Town Of Concord, Middlesex County, Massachusetts: From Its Earliest Settlement To 1832 (1835) Lemuel Shattuck / Libro Tapa blanda
common.buy 38.69 €
Xenophon's Anabasis, Books 1-4 (1910) Xenophon / Libro Tapa dura
common.buy 58.89 €
Libra de hechos de el viejo estado del norte North Carolina Office of Archives and Hi / Libro Tapa blanda
common.buy 10.69 €
The Dinosaur That Pooped the Past! Tom Fletcher / Libro Tapa dura
common.buy 15.39 €
Dare I Call It Murder? - A Memoir of Violent Loss Larry M Edwards / Libro Tapa blanda
common.buy 13.79 €
The Law of Liens: With Especial Reference to Massachusetts and Maine. Henry T Lummus / Libro Tapa blanda
common.buy 30.49 €
Psychopathological Researches: Studies in Mental Dissociation Boris Sidis / Libro Tapa blanda
common.buy 41.69 €
A Practical Illustrated Guide to Attracting & Feeding Backyard Birds Jen Green / Libro Tapa blanda
common.buy 19.40 €
Our Army at Monterey: Being a Correct Account of the Proceedings and Events Which Occurred to the Army of Occupation Under the Command of Ma Thomas Bangs Thorpe / Libro Tapa blanda
common.buy 20.79 €
Soulmaker: The Timefold Layer 1 Nadine Cooke / Libro Tapa blanda
common.buy 12.49 €
Inspired: Peace in the Garden (Bible Study, Coloring, Devotional) Sally M Davidson / Libro Tapa blanda
common.buy 14.89 €
Supporting Actors in Motion Pictures Roger L Gordon / Libro Tapa dura
common.buy 27.29 €
Rubio english 7 years advanced RUBIO / Libro Hoja
common.buy 4.69 €
Guilty Pleasures: Volume 1: Guilty Pleasures Joyce McCarthy / Libro Tapa blanda
common.buy 6.69 €
Innocence and Deceit: 14 Fairy Tales Retold, Reimagined, and Reinvented Dayle A. Dermatis / Libro Tapa blanda
common.buy 15.79 €
Self-Suggestion and the New Huna Theory of Mesmerism and Hypnosis Max Freedom Long / Libro Tapa blanda
common.buy 24.59 €
Popular
Peppa Pig: Big Sister Peppa Peppa Pig / Libro Tapa blanda
common.buy 8.89 €
Treatise on the Rectilinear Motion and Rotation of Bodies; With a Description of Original Experiments Relative to the Subject. by G. Atwood, ... G. Atwood / Libro Tapa blanda
common.buy 31.19 €
New Readings in Shakespeare: Volume 2, The Histories; The Tragedies C. J. Sisson / Libro Tapa blanda
common.buy 54.29 €
Irish Poetry under the Union, 1801-1924 Matthew Campbell / Libro Tapa blanda
common.buy 51.59 €
Próximamente
Gettysburg Earle Rice / Libro Tapa dura
common.buy 36.19 €
Popular
Way of the Peaceful Warrior Dan Millman / Libro Tapa blanda
common.buy 15.39 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?