Program derivation the development of programs from specifications
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | English |
| Argitaratua: |
Sydney
Addison-Wesley
c1989.
|
| Saila: | International computer science series
|
| Gaiak: |