Proof and System-Reliability
Kluwer Academic Publishers, 2002
116,25 €On orderDelivery: 2-3 weeks
As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. It also has hints to technical issues.
- ISBN-13
- 9781402006074
- ISBN-10
- 1402006071
- Publisher
- Kluwer Academic Publishers
- Year
- 2002
- Publication date
- 2002-05-31
- Pages
- 428
- Dimensions
- 230xx