Filter
Søkt på: Søkeresultat
Filter
1 treff
Building High Integrity Applications with SPARK
pocket,
2015,
Engelsk,
ISBN 9781107656840
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions …