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
$179.95

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.0
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

guest reviews

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