From Action Systems to Distributed Systems - The Refinement Approach

Luigia Petre, Emil Sekerinski

Forskningsoutput: Bok/tidskrift/rapportAntologi/redigerad tidskriftVetenskapligPeer review

OriginalspråkEngelska
FörlagChapman and Hall/CRC
ISBN (elektroniskt)978-1-4987-0158-7
ISBN (tryckt)978-1-4987-0158-7
StatusPublicerad - 2016
MoE-publikationstypC2 Redigerat verk

Citera det här