Related Books

From Action Systems to Distributed Systems
Language: en
Pages: 302
Authors: Luigia Petre
Categories: Computers
Type: BOOK - Published: 2016-04-27 - Publisher: CRC Press

DOWNLOAD EBOOK

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting
From Action Systems to Distributed Systems
Language: en
Pages: 0
Authors: Luigia Petre
Categories: Computers
Type: BOOK - Published: 2016-02-15 - Publisher: Chapman and Hall/CRC

DOWNLOAD EBOOK

This book addresses the impact of the "Action Systems" formal method in Computer Science research. Formal Methods in general address the question of transformin
Understanding Distributed Systems, Second Edition
Language: en
Pages: 344
Authors: Roberto Vitillo
Categories: Computers
Type: BOOK - Published: 2022-02-23 - Publisher: Roberto Vitillo

DOWNLOAD EBOOK

Learning to build distributed systems is hard, especially if they are large scale. It's not that there is a lack of information out there. You can find academic
Designing Distributed Systems
Language: en
Pages: 164
Authors: Brendan Burns
Categories: Computers
Type: BOOK - Published: 2018-02-20 - Publisher: "O'Reilly Media, Inc."

DOWNLOAD EBOOK

Without established design patterns to guide them, developers have had to build distributed systems from scratch, and most of these systems are very unique inde
Introduction to Reliable and Secure Distributed Programming
Language: en
Pages: 381
Authors: Christian Cachin
Categories: Computers
Type: BOOK - Published: 2011-02-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs