
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
Edición de la obra Industrial-strength formal methods in practice
| Autor | Michael G. Hinchey, J. P. Bowen |
|---|---|
| Editorial | Springer |
| Fecha de publicación | October 18, 1999 |
| Idioma | inglés |
| Páginas | 400 |
| Formato | Paperback |
| ISBN-13 | 9781852336400 |
| ISBN-10 | 1852336404 |
| LCCN | 99033669 |
| Número de Cutter |