CAFE
an Industrial-Strength Algebraic Formal Method
Edición de la obra CAFE
| Autor | K. Futatsugi, A. T. Nakagawa, T. Tamai |
|---|---|
| Editorial | Elsevier Science & Technology Books |
| Fecha de publicación | 2000 |
| Idioma | inglés |
| ISBN-13 | 9780080528403 |
| Número de Cutter | F996c |