Industrial-Strength Formal Methods in Practice
Edición de la obra Industrial-Strength Formal Methods in Practice
| Autor | Michael G. Hinchey |
|---|---|
| Editorial | Springer London, Imprint, Springer |
| Fecha de publicación | 1999 |
| Lugar | London |
| Idioma | inglés |
| Páginas | 400 |
| Formato | [electronic resource] / |
| ISBN-13 | 9781447105237 |
| ISBN-10 | 1447105230 |
| OCLC | 840277096 |
| Serie | Formal Approaches to Computing and Information Technology (FACIT) · Formal Approaches to Computing and Information Technology (FACIT) |