Stock image for illustration purposes only - book cover, edition or condition may vary.
Practical Theory of Reactive Systems
Reino Kurki-Suonio
€ 65.30
FREE Delivery in Ireland
Description for Practical Theory of Reactive Systems
Paperback. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 420 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 676.
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
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
420
Condition
New
Series
Texts in Theoretical Computer Science: An EATCS Series
Number of Pages
420
Place of Publication
Berlin, Germany
ISBN
9783642062377
SKU
V9783642062377
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