Skip to content

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic
Stock Photo: Cover May Be Different

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors Hardcover - 2005

by R. Kurki-Suonio


From the publisher

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.

Details

  • Title A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
  • Author R. Kurki-Suonio
  • Binding Hardcover
  • Edition Us Edition
  • Pages 420
  • Volumes 1
  • Language ENG
  • Publisher Springer, Germany
  • Date 2005-02-17
  • Features Bibliography, Index, Table of Contents
  • ISBN 9783540233428 / 3540233423
  • Weight 1.7 lbs (0.77 kg)
  • Dimensions 9.38 x 6.54 x 1.23 in (23.83 x 16.61 x 3.12 cm)
  • Dewey Decimal Code 005.1

About the author

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.

Back to Top

More Copies for Sale

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
Stock Photo: Cover May Be Different

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

by Kurki-Suonio, R.

  • Used
  • Hardcover
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9783540233428 / 3540233423
Quantity Available
1
Seller
Lincoln, Lincolnshire, Aberdeen, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$24.82
$16.15 shipping to USA

Show Details

Description:
Springer, 2005. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN:9783540233428
Item Price
$24.82
$16.15 shipping to USA
Practical Theory Of Reactive Systems: Incremental Modeling Of Dynamic Behaviors
Stock Photo: Cover May Be Different

Practical Theory Of Reactive Systems: Incremental Modeling Of Dynamic Behaviors

by R. Kurki-Suonio

  • New
Condition
New
ISBN 10 / ISBN 13
9783540233428 / 3540233423
Quantity Available
5
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$29.80
$5.00 shipping to USA

Show Details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
$29.80
$5.00 shipping to USA
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
Stock Photo: Cover May Be Different

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

by Kurki-Suonio, R.

  • Used
  • good
  • Hardcover
Condition
Used - Good
Binding
Hardcover
ISBN 10 / ISBN 13
9783540233428 / 3540233423
Quantity Available
1
Seller
Seattle, Washington, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$34.52
FREE shipping to USA

Show Details

Description:
Springer, 2005. Hardcover. Good. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Item Price
$34.52
FREE shipping to USA
A Practical Theory of Reactive Systems
Stock Photo: Cover May Be Different

A Practical Theory of Reactive Systems

by Reino Kurki-Suonio R. Kurki-Suonio

  • Used
  • Hardcover
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9783540233428 / 3540233423
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$37.37
$3.99 shipping to USA

Show Details

Description:
Springer , pp. xxii + 418 1st Edition . Hardback. Used.
Item Price
$37.37
$3.99 shipping to USA
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in...
Stock Photo: Cover May Be Different

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)

by R. Kurki-Suonio

  • Used
  • Hardcover
Condition
Used: Good
Binding
Hardcover
ISBN 10 / ISBN 13
9783540233428 / 3540233423
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$44.47
FREE shipping to USA

Show Details

Description:
Springer, 2005-05-24. Hardcover. Used: Good.
Item Price
$44.47
FREE shipping to USA
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in...
Stock Photo: Cover May Be Different

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)

by R. Kurki-Suonio

  • Used
  • Hardcover
Condition
Used:Good
Edition
2005
Binding
Hardcover
ISBN 10 / ISBN 13
9783540233428 / 3540233423
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$45.33
FREE shipping to USA

Show Details

Description:
Springer, 2005-05-24. 2005. Hardcover. Used:Good.
Item Price
$45.33
FREE shipping to USA
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Stock Photo: Cover May Be Different

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

by R. Kurki-Suonio

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9783540233428 / 3540233423
Quantity Available
426
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$67.31
$10.12 shipping to USA

Show Details

Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors.
Item Price
$67.31
$10.12 shipping to USA
A Practical Theory Of Reactive Systems: Incremental Modeling Of Dynamic Behaviors (texts In...
Stock Photo: Cover May Be Different

A Practical Theory Of Reactive Systems: Incremental Modeling Of Dynamic Behaviors (texts In Theoretical Computer Science. An Eatcs Series)

  • New
Condition
New
ISBN 10 / ISBN 13
9783540233428 / 3540233423
Quantity Available
1
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$62.59
$5.00 shipping to USA

Show Details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
$62.59
$5.00 shipping to USA
A PRACTICAL THEORY OF REACTIVE SYSTEMS: INCREMENTAL MODELING OF DYNAMIC BEHAVIORS (TEXTS IN...
Stock Photo: Cover May Be Different

A PRACTICAL THEORY OF REACTIVE SYSTEMS: INCREMENTAL MODELING OF DYNAMIC BEHAVIORS (TEXTS IN THEORETICAL COMPUTER SCIENCE. AN EATCS SERIES)

by R. KURKI-SUONIO,

  • New
  • Hardcover
  • first
Condition
New
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9783540233428 / 3540233423
Quantity Available
5
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$66.00
$10.00 shipping to USA

Show Details

Description:
Springer, 2005. 1st. Hardcover. New/New.
Item Price
$66.00
$10.00 shipping to USA
A PRACTICAL THEORY OF REACTIVE SYSTEMS: INCREMENTAL MODELING OF DYNAMIC BEHAVIORS (TEXTS IN...
Stock Photo: Cover May Be Different

A PRACTICAL THEORY OF REACTIVE SYSTEMS: INCREMENTAL MODELING OF DYNAMIC BEHAVIORS (TEXTS IN THEORETICAL COMPUTER SCIENCE. AN EATCS SERIES)

by R. KURKI-SUONIO,

  • Used
  • Hardcover
  • first
Condition
UsedLikeNew
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9783540233428 / 3540233423
Quantity Available
5
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$66.00
$10.00 shipping to USA

Show Details

Description:
Springer, 2005. 1st. Hardcover. UsedLikeNew/UsedLikeNew.
Item Price
$66.00
$10.00 shipping to USA