
Software specification
a comparison of formal methods
Edición de la obra Software specification
| Autor | John D. Gannon |
|---|---|
| Editorial | Ablex Pub. Co. |
| Fecha de publicación | 1994 |
| Lugar | Norwood, N.J |
| Idioma | inglés |
| Páginas | 249 |
| ISBN-10 | 1567500331, 156750034X |
| OCLC | 29595552 |
| LCCN | 93050696 |
| Serie | Computer-based information systems in organizations |
| Número de Cutter | G198s |