Formal specification and software development
Edición de la obra Formal specification and software development
| Autor | D. Bjørner |
|---|---|
| Editorial | Prentice/Hall International |
| Fecha de publicación | 1982 |
| Lugar | Englewood Cliffs, N.J |
| Idioma | inglés |
| Páginas | 501 |
| ISBN-10 | 0133290034 |
| LCCN | 82007656 |
| Serie | Prentice-Hall International series in computer science |
| Número de Cutter | B626f |