From Action Systems to Distributed Systems: The Refinement Approach

By: and

Sign Up Now! Already a Member? Log In
You must be logged into UK education collection to access this title. Learn about membership options, or view our freely available titles.

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
Copyright:
2016

Book Details

Book Quality:
Publisher Quality
Book Size:
312 Pages
ISBN-13:
9781498701594
Related ISBNs:
9780429075681, 9781498701587, 9781498701587
Publisher:
CRC Press
Date of Addition:
Copyrighted By:
N/A
Adult content:
No
Language:
English
Has Image Descriptions:
No
Categories:
Nonfiction, Computers and Internet, Mathematics and Statistics
Submitted By:
Bookshare Staff
Usage Restrictions:
This is a copyrighted book.
Edited by:
Luigia Petre
Edited by:
Emil Sekerinski

Reviews

No Rating Yet