0 item(s) in My Cart

Distributed Systems Software Design

Distributed Systems Software Design

Product Details

The purpose of this volume is to discuss software design issues: how to design certain types of distributed systems and how to specify these designs both informally and formally. In the case of formally specified designs, the authors also discuss how to prove key system attributes such as correctness, completeness, soundness, liveness, and fairness. Completeness proofs are explained in-depth.

  • Volume 4 in the Series in Distributed Systems Software Engineering. Important for all designers of safety-critical systems.
  • Product Id: RN0000023
  • No. of Pages: 117
Distributed Systems Software Design
Item No.
RN0000023
Price:
$19.00
Buy Box
  1. Availability:
    In Stock
  2. Availability:
    Usually ships in 1 to 2 days