Program derivation the development of programs from specifications
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | English |
| Pubblicazione: |
Sydney
Addison-Wesley
c1989.
|
| Serie: | International computer science series
|
| Soggetti: |