Conte aos seus amigos sobre este item:
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.
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 31 de maio de 2002 |
| ISBN13 | 9781402006074 |
| Editoras | Kluwer Academic Publishers |
| Páginas | 428 |
| Dimensões | 165 × 245 × 30 mm · 762 g |
| Editor | Schwichtenberg, Helmut |
| Editor | Steinbruggen, Ralf |