Alkuperäiskieli | Englanti |
---|---|
Kustantaja | Chapman and Hall/CRC |
ISBN (elektroninen) | 978-1-4987-0158-7 |
ISBN (painettu) | 978-1-4987-0158-7 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 2016 |
OKM-julkaisutyyppi | C2 Toimitettu teos |
From Action Systems to Distributed Systems - The Refinement Approach
Luigia Petre, Emil Sekerinski
Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu