Proof and System-Reliability
(Bog, Hardback, Engelsk)
Forlag:
Kluwer Academic Publishers
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9781402006074
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Kluwer Academic Publishers |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 31-05-2002 |
| Første udgivelsesår | 2002 |
| Serie | NATO Science Series II |
| Fagredaktør | Helmut Schwichtenberg, Ralf Steinbruggen |
| Originalsprog | United States |
| Sideantal | 428 |
| Indbinding | Hardback |
| Forlag | Kluwer Academic Publishers |
| Sideoplysninger | 428 pages |
| Mål | 230 |
| ISBN-13 / EAN-13 | 9781402006074 |