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
1121883132
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
5
1
From Action Systems to Distributed Systems: The Refinement Approach
312
From Action Systems to Distributed Systems: The Refinement Approach
312Related collections and offers
59.99
In Stock
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
From the B&N Reads Blog