Formal Methods in Systems Engineering
Edición de la obra Formal Methods in Systems Engineering
| Autor | Peter Ryan undifferentiated |
|---|---|
| Editorial | Springer London |
| Fecha de publicación | 1993 |
| Lugar | London |
| Idioma | inglés |
| Páginas | 195 |
| Formato | [electronic resource] / |
| ISBN-13 | 9781447119753 |
| ISBN-10 | 1447119754 |
| OCLC | 840277439 |
| Número de Cutter | U56f |