From Action Systems to Distributed Systems The Refinement Approach

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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

Book details

Author:
Luigia Petre, Emil Sekerinski
ISBN:
9781498701594
Related ISBNs:
9780429075681, 9781498701587, 9781498701587
Publisher:
CRC Press
Pages:
312
Reading age:
Not specified
Includes images:
No
Date of addition:
2020-03-28
Usage restrictions:
Copyright
Copyright date:
2016
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Mathematics and Statistics, Nonfiction