ISBN-13: 9780367574857 / Angielski / Miękka / 2020 / 284 str.
ISBN-13: 9780367574857 / Angielski / Miękka / 2020 / 284 str.
A tribute to Professor Kaisa Sere’s contributions to the field of computer science, From Action Systems to Distributed Systems: The Refinement Approach presents state-of-the-art information on the themes of distributed systems and refinement. This is the first book to examine the impact of refinement through a multitude of forma