Program derivation the development of programs from specifications
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | English |
| Опубликовано: |
Sydney
Addison-Wesley
c1989.
|
| Серии: | International computer science series
|
| Предметы: |