From action systems to distributed systems: the refinement approach
Éditeur :
Taylor & Francis Ltd
ISBN :
9780367574857
Date de publication :
30 juin 2020
Dimensions :
25,4 x 17,8 cm
Poids :
580 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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