Software for Dependable Systems : Sufficient Evidence?
by Daniel Jackson, Martyn Thomas, National Research Council, Lynette I. Millett, Committee on Certifiably Dependable Software Systems Paperback 2007
- Author: Daniel Jackson, Martyn Thomas, National Research Council, Lynette I. Millett, Committee on Certifiably Dependable Software Systems
- ISBN 13: 9780309103947
- ISBN 10: 0309103940
- Publication Year: 2007
- Language: English
Specifications
| Index-10 | 0309103940 |
|---|---|
| Index-13 | 9780309103947 |
| Language | English |