From Action Systems to Distributed Systems: The Refinement Approach, 1st Edition (e-Book) book cover

From Action Systems to Distributed Systems

The Refinement Approach, 1st Edition

Edited by Luigia Petre, Emil Sekerinski

Chapman and Hall/CRC

312 pages

Purchasing Options:$ = USD
Hardback: 9781498701587
pub: 2016-04-27
Currently out of stock
$190.00
x
eBook (VitalSource) : 9780429075681
pub: 2016-04-27
from $28.98


FREE Standard Shipping!

Description

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

Table of Contents

Modeling. Analysis. Proof. Refinement. Applications.

Subject Categories

BISAC Subject Codes/Headings:
COM031000
COMPUTERS / Information Theory
COM051230
COMPUTERS / Software Development & Engineering / General
MAT000000
MATHEMATICS / General