Program derivation the development of programs from specifications
| Hoofdauteur: | |
|---|---|
| Formaat: | Boek |
| Taal: | English |
| Gepubliceerd in: |
Sydney
Addison-Wesley
c1989.
|
| Reeks: | International computer science series
|
| Onderwerpen: |