Deductive program design
Edición de la obra Deductive program design
| Autor | M. Broy |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1996 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 467 |
| ISBN-10 | 3540609474 |
| OCLC | 34284086 |
| LCCN | 96010788 |
| Serie | NATO ASI series. Series F, Computer and systems sciences ; · vol. 152 · NATO ASI series. |
| Número de Cutter | B885d |