Program derivation the development of programs from specifications
| Huvudupphovsman: | |
|---|---|
| Materialtyp: | Bok |
| Språk: | English |
| Publicerad: |
Sydney
Addison-Wesley
c1989.
|
| Serie: | International computer science series
|
| Ämnen: |