Spar
From Action Systems to Distributed Systems
e-bok, 2016
Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les 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
- Undertittel
- The Refinement Approach
- Redaktør
- Luigia Petre, Emil Sekerinski
- ISBN
- 9781498701594
- Språk
- Engelsk
- Utgivelsesdato
- 27.4.2016
- Forlag
- CRC PRESS
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
