From Action Systems to Distributed Systems: The Refinement Approach
$53.01
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by fondationcepeo.ca
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
$53.01
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by fondationcepeo.ca
Free 30-day returns Details
Product details
| Management number | 233491903 | Release Date | 2026/06/27 | List Price | $21.20 | Model Number | 233491903 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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 Read more
| ASIN | B07V26G69N |
|---|---|
| XRay | Not Enabled |
| Format | Print Replica |
| ISBN13 | 978-1498701594 |
| Edition | 1st |
| Language | English |
| File size | 28.6 MB |
| Page Flip | Not Enabled |
| Publisher | Chapman and Hall/CRC |
| Word Wise | Not Enabled |
| Print length | 312 pages |
| Accessibility | Learn more |
| Publication date | April 27, 2016 |
| Enhanced typesetting | Not Enabled |
Bestseller ranking
Distributed Systems & Computing
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form