Towards verified systems
Edición de la obra Towards verified systems
| Autor | J. P. Bowen |
|---|---|
| Editorial | Elsevier |
| Fecha de publicación | 1994 |
| Lugar | Amsterdam, New York |
| Idioma | inglés |
| Páginas | 296 |
| ISBN-10 | 0444899014 |
| OCLC | 30914198 |
| LCCN | 94030630 |
| Serie | Real-time safety critical systems ; · vol. 2 · Real-time safety critical systems ; |
| Número de Cutter | B786t |