Program derivation the development of programs from specifications
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | English |
| Julkaistu: |
Sydney
Addison-Wesley
c1989.
|
| Sarja: | International computer science series
|
| Aiheet: |