From Action Systems to Distributed Systems - The Refinement Approach

Luigia Petre, Emil Sekerinski

Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer 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

FN:s SDG:er

Detta resultat bidrar till följande hållbara utvecklingsmål:

  • SDG 9 – Hållbar industri, innovationer och infrastruktur

Citera det här