- Išparduota
/https://libri-media.knygos-static.lt/84852018-579e-46df-a5a9-76d2f44855a5/1)
- Leidėjas: Taylor & Francis Ltd.
- Metai: 2016
- Puslapiai: 312
- ISBN: 9781498701594
- ISBN-10: 1498701590
- ISBN-13: 9781498701594
- Formatas: ACSM ?
- Kalba: Anglų
From Action Systems to Distributed Systems (el. knyga) (skaityta knyga) | knygos.lt
Atsiliepimai
Formatai:
Aprašymas
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society's infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert
Elektroninė knyga:
Atsiuntimas po užsakymo akimirksniu! Skirta skaitymui tik kompiuteryje, planšetėje ar kitame elektroniniame įrenginyje.
Kaip skaityti el. knygas ACSM formatu?
Mažiausia kaina per 30 dienų: 105,49 €
Mažiausia kaina užfiksuota: Kaina nesikeitė
- Leidėjas: Taylor & Francis Ltd.
- Metai: 2016
- Puslapiai: 312
- ISBN: 9781498701594
- ISBN-10: 1498701590
- ISBN-13: 9781498701594
- Formatas: ACSM ?
- Kalba: Anglų
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society's infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert
Atsiliepimai