Formal methods for real-time computing
Edición de la obra Formal methods for real-time computing
| Autor | Constance Heitmeyer, Dino Mandrioli |
|---|---|
| Editorial | John Wiley, Wiley |
| Fecha de publicación | 1996 |
| Lugar | Chichester, New York |
| Idioma | inglés |
| Páginas | 271 |
| ISBN-10 | 0471958352 |
| LCCN | 96005720 |
| Serie | Trends in software ; · 5 |
| Número de Cutter | H473f |