Spara
From Action Systems to Distributed Systems
e-bok, 2016
Engelska
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
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
- Undertitel
- The Refinement Approach
- Redaktör
- Luigia Petre, Emil Sekerinski
- ISBN
- 9781498701594
- Språk
- Engelska
- Utgivningsdatum
- 2016-04-27
- Förlag
- CRC PRESS
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
