.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Practical Theory of Reactive Systems
Reino Kurki-Suonio
€ 69.43
FREE Delivery in Ireland
Description for Practical Theory of Reactive Systems
Hardback. Presents a "practical theory" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using "horizontal" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 440 pages, 112 black & white illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 31. Weight in Grams: 754.
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a ‘practical theory’ may require some explanation. Theory and practice are often thought of as two di?erent worlds, governed bydi?erentideals,principles, andlaws.DavidLorgeParnas, forinstance,who hascontributedmuchtoourtheoreticalunderstandingofsoftwareengineering and also to sound use of theory in the practice of it, likes to point out that ‘theoretically’ is synonymous to ‘not really’. In applied mathematics the goal is to discover useful connections between these two worlds. My thesis is that in software engineering this two-world view is inadequate, and ... Read more
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a ‘practical theory’ may require some explanation. Theory and practice are often thought of as two di?erent worlds, governed bydi?erentideals,principles, andlaws.DavidLorgeParnas, forinstance,who hascontributedmuchtoourtheoreticalunderstandingofsoftwareengineering and also to sound use of theory in the practice of it, likes to point out that ‘theoretically’ is synonymous to ‘not really’. In applied mathematics the goal is to discover useful connections between these two worlds. My thesis is that in software engineering this two-world view is inadequate, and ... Read more
Product Details
Format
Hardback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
440
Condition
New
Series
Texts in Theoretical Computer Science: An EATCS Series
Number of Pages
420
Place of Publication
Berlin, Germany
ISBN
9783540233428
SKU
V9783540233428
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Reino Kurki-Suonio
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 ... Read more
Reviews for Practical Theory of Reactive Systems
From the reviews: "Kurki-Suinio’s book aims at developing a practical theory for the development of distributed reactive systems. … The approach presented in the book is the result of many years of research. The design method developed by the author has been successfully used for the construction of many distributed parallel systems. … Potential audience ... Read more