Søkt på: Søkeresultat
totalt 4 treff
Building High Integrity Applications with SPARK
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 …
Weber, Habermas and Transformations of the European State
This book critically engages Jürgen Habermas's comprehensive vision of constitutional democracy in the European Union. John P. McCormick draws on the writings of Max Weber (and …
Building Parallel, Embedded, and Real-Time Applications with Ada
The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors …
Machiavellian Democracy
Intensifying economic and political inequality poses a dangerous threat to the liberty of democratic citizens. Mounting evidence suggests that economic power, not popular will, …