product description page
From Action Systems to Distributed Systems : The Refinement Approach (Hardcover)
About this item
This book addresses the impact of the "Action Systems" formal method in Computer Science research. Formal Methods in general address the question of transforming software engineering into a mature engineering discipline.
Number of Pages: 283
Genre: Computers + Internet
Sub-Genre: Information Theory, Programming / Software Development
Series Title: Chapman & Hall/Crc Computational Science
Publisher: Taylor & Francis
Street Date: April 27, 2016
Item Number (DPCI): 248-12-1457
If the item details above aren’t accurate or complete, we want to know about it. Report incorrect product info.