Originalspråk | Engelska |
---|---|
Förlag | Chapman and Hall/CRC |
ISBN (elektroniskt) | 978-1-4987-0158-7 |
ISBN (tryckt) | 978-1-4987-0158-7 |
Status | Publicerad - 2016 |
MoE-publikationstyp | C2 Redigerat verk |
From Action Systems to Distributed Systems - The Refinement Approach
Luigia Petre, Emil Sekerinski
Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review