josé bacelar almeida
Rigorous Software Development
Print on DemandSoftware errors can lead to catastrophic consequences, from financial losses to threats to human ...
Rigorous Software Development
Besorgungstitel - wird vorgemerktInhaltsangabeList of Figures.- 1. Introduction.- 2. An Overview of Formal Methods Tools and Techn...
- 1