High-integrity system specification and design
Edición de la obra High-integrity system specification and design
| Autor | J. P. Bowen, Michael G. Hinchey |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1999 |
| Lugar | London, New York |
| Idioma | inglés |
| Páginas | 701 |
| ISBN-10 | 3540762264 |
| OCLC | 40267699 |
| LCCN | 98050694 |
| Serie | Formal approaches to computing and information technology |