Loading, please wait...
:

product description page

From Action Systems to Distributed Systems : The Refinement Approach (Hardcover)

From Action Systems to Distributed Systems : The Refinement Approach (Hardcover) - image 1 of 1

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
Format: Hardcover
Publisher: Taylor & Francis
Language: English
Street Date: April 27, 2016
TCIN: 50862216
UPC: 9781498701587
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.
$179.95
Shipping
In stock - free standard shipping with REDcard
Not in stores

Ratings & reviews

Prices, promotions, styles and availability may vary by store & online. See our price match guarantee. See how a store is chosen for you.


*See offer details. Restrictions apply. Pricing, promotions and availability may vary by location and at Target.com.