Software and systems safety
specification and verification
Edición de la obra Software and systems safety
| Autor | M. Broy, Christian Leuxner, C. A. R. Hoare |
|---|---|
| Editorial | IOS Press |
| Fecha de publicación | 2011 |
| Lugar | Amsterdam, Washington, D.C |
| Idioma | inglés |
| Páginas | 285 |
| ISBN-13 | 9781607507109, 9781607507116 |
| ISBN-10 | 1607507102 |
| OCLC | 705518941 |