Formal specification and software development
| Egile nagusia: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Liburua |
| Argitaratua: |
Englewood Cliffs, N.J.
Prentice, Hall International
1982
|
| Saila: | Prentice-Hall International series in computer science
|
| Gaiak: |