From Action Systems to Distributed Systems: The Refinement Approach

1st Edition

Luigia Petre, Emil Sekerinski

What are VitalSource eBooks?

Chapman and Hall/CRC
Published April 27, 2016
Reference - 312 Pages
ISBN 9780429075681 - CAT# KE75827

For Instructors Request Inspection Copy

was $57.95


SAVE ~$5.80

Add to Wish List
FREE Standard Shipping!


Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society's infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert


We provide complimentary e-inspection copies of primary textbooks to instructors considering our books for course adoption.

Request an
e-inspection copy

Share this Title