Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Practical Theory of Reactive Systems

Incremental Modeling of Dynamic Behaviors

Language EnglishEnglish
Book Paperback
Book Practical Theory of Reactive Systems R. Kurki-Suonio
Libristo code: 01651511
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2010
This book presents a "practical theory" of reactive systems, with formal foundations in Temporal Log... Full description
? points 125 b
50.99 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Sustainability Accounting, Management Control and Reporting Lucrezia Songini / Book Paperback
common.buy 65.19 €
L'Oracle de la 9e lune VAUTRIN / Book Book
common.buy 26.79 €
Planches-cadrans de radiesthésie médicale Fangain / Book Spiral bound
common.buy 37.29 €
Pourquoi la vie passe plus vite à mesure qu'on vieillit ? Draaisma / Book Paperback
common.buy 24.19 €
A Katholikus Egyhazi Autonomia Es Veszelyei (1870) Istvantol Toldy / Book Paperback
common.buy 18.69 €
Top
Liečivá sila včely bez hraníc (2.vyd.) Ivan Nikolajevič Filippov / Book Paperback
common.buy 23.69 €
Die kleinen Milchschwestern von Peterstorf Joseph Alois Gleich / Book Paperback
common.buy 12.50 €
Auxiliar Administrativo del Servicio Andaluz de Salud. Temario específico volumenl 1 MARTOS NAVARRO / Book Paperback
common.buy 43.89 €
Ejercicios de estadística descriptiva y probabilidad para economía y administración de empresas José Miguel Casas Sánchez / Book Paperback
common.buy 37.19 €
Deux Amis En 1792 Assollant-A / Book Paperback
common.buy 25.09 €
Roman Von Tristan Und Isolde Arthur Schurig / Book Paperback
common.buy 12.90 €
Matangi -UEber drei Ozeane Paul Maier / Book Paperback
common.buy 23.00 €
Auswirkungen der EU-Osterweiterung auf den Wirtschaftsstandort Sachsen aus unternehmerischer Sicht Robert Langner / Book Paperback
common.buy 47.95 €
Die Ursprünge der jüdischen Mystik Peter Schäfer / Book Hardback
common.buy 38.00 €
Ein sonderbares Licht in Teutschland. Gerd Heinrich / Book Paperback
common.buy 69.90 €
Der unerlaubte Einflug von Luftfahrzeugen in fremdes Staatsgebiet in Friedenszeiten und seine Rechtsfolgen. Joachim F. Bentzien / Book Paperback
common.buy 109.90 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Practical Theory of Reactive Systems
Author R. Kurki-Suonio
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 420
EAN 9783642062377
ISBN 3642062377
Libristo code 01651511
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 676
Dimensions 156 x 23 x 24

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Arcadis George Kramer / Book Paperback
common.buy 9.69 €
Archimedes' Revenge: The Challenge of the Unknown Paul Hoffman / Book Paperback
common.buy 18.99 €
A History Of The Town Of Concord, Middlesex County, Massachusetts: From Its Earliest Settlement To 1832 (1835) Lemuel Shattuck / Book Paperback
common.buy 30.69 €
Xenophon's Anabasis, Books 1-4 (1910) Xenophon / Book Hardback
common.buy 46.69 €
Libra de hechos de el viejo estado del norte North Carolina Office of Archives and Hi / Book Paperback
common.buy 9.19 €
The Dinosaur That Pooped the Past! Tom Fletcher / Book Hardback
common.buy 13.29 €
Dare I Call It Murder? - A Memoir of Violent Loss Larry M Edwards / Book Paperback
common.buy 11.89 €
The Law of Liens: With Especial Reference to Massachusetts and Maine. Henry T Lummus / Book Paperback
common.buy 24.09 €
Psychopathological Researches: Studies in Mental Dissociation Boris Sidis / Book Paperback
common.buy 33.09 €
A Practical Illustrated Guide to Attracting & Feeding Backyard Birds Jen Green / Book Paperback
common.buy 17.39 €
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 / Book Paperback
common.buy 17.89 €
Soulmaker: The Timefold Layer 1 Nadine Cooke / Book Paperback
common.buy 9.79 €
Inspired: Peace in the Garden (Bible Study, Coloring, Devotional) Sally M Davidson / Book Paperback
common.buy 14.49 €
Supporting Actors in Motion Pictures Roger L Gordon / Book Hardback
common.buy 23.49 €
Rubio english 7 years advanced RUBIO / Book Sheet
common.buy 4.49 €
Guilty Pleasures: Volume 1: Guilty Pleasures Joyce McCarthy / Book Paperback
common.buy 6.59 €
Innocence and Deceit: 14 Fairy Tales Retold, Reimagined, and Reinvented Dayle A. Dermatis / Book Paperback
common.buy 13.89 €
Self-Suggestion and the New Huna Theory of Mesmerism and Hypnosis Max Freedom Long / Book Paperback
common.buy 19.49 €
Top
Peppa Pig: Big Sister Peppa Peppa Pig / Book Paperback
common.buy 7.79 €
Treatise on the Rectilinear Motion and Rotation of Bodies; With a Description of Original Experiments Relative to the Subject. by G. Atwood, ... G. Atwood / Book Paperback
common.buy 30.09 €
New Readings in Shakespeare: Volume 2, The Histories; The Tragedies C. J. Sisson / Book Paperback
common.buy 48.09 €
Irish Poetry under the Union, 1801-1924 Matthew Campbell / Book Paperback
common.buy 45.39 €
Coming soon
Gettysburg Earle Rice / Book Hardback
common.buy 35.59 €
Top
Way of the Peaceful Warrior Dan Millman / Book Paperback
common.buy 13.19 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?