Designing Reliable Distributed Systems: A Formal Methods Approach Based On Executable Modeling In Maude
Sale

Designing Reliable Distributed Systems: A Formal Methods Approach Based On Executable Modeling In Maude

Springer London Ltd
SKU:
9781447166863
|
UPC:
9781447166863
$95.83 $87.23
(No reviews yet)
Condition:
New
Current Stock:
Adding to cart… The item has been added
Description
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.


  • | By (Author): Peter Csaba Olveczky
  • | Publisher: Springer London Ltd
  • | Publication Date: Feb 22, 2018
  • | Country of Publication: United Kingdom
  • | Number of Pages: 313 pages
  • | Language: Unknown
  • | Binding: Softback
  • | ISBN-10: 1447166868
  • | ISBN-13: 9781447166863
Additional Information
By (Author):
Peter Csaba Olveczky
Publisher:
Springer London Ltd
Publication Date:
Feb 22, 2018
Country of Publication:
United Kingdom
Language:
Unknown
Number of pages:
313 pages
Binding:
Softback
ISBN-10:
1447166868
ISBN-13:
9781447166863
Related Products