From Action Systems to Distributed Systems: The Refinement Approach
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
1128425743
From Action Systems to Distributed Systems: The Refinement Approach
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
59.99 In Stock
From Action Systems to Distributed Systems: The Refinement Approach

From Action Systems to Distributed Systems: The Refinement Approach

From Action Systems to Distributed Systems: The Refinement Approach

From Action Systems to Distributed Systems: The Refinement Approach

eBook

$59.99 

Available on Compatible NOOK devices, the free NOOK App and in My Digital Library.
WANT A NOOK?  Explore Now

Related collections and offers


Overview

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

Product Details

ISBN-13: 9781040189351
Publisher: CRC Press
Publication date: 04/27/2016
Sold by: Barnes & Noble
Format: eBook
Pages: 312
File size: 6 MB

About the Author

Luigia Petre, Emil Sekerinski

Table of Contents

Modeling. Analysis. Proof. Refinement. Applications.
From the B&N Reads Blog

Customer Reviews