Pastāsti draugiem par šo preci:
Proof and System-Reliability - NATO Science Series II
Proof and System-Reliability - NATO Science Series II
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.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2002. gada 31. maijs |
| ISBN13 | 9781402006074 |
| Izdevēji | Kluwer Academic Publishers |
| Lapas | 428 |
| Izmēri | 150 × 220 × 20 mm · 775 g |
| Redaktors | Schwichtenberg, Helmut |
| Redaktors | Steinbruggen, Ralf |