The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming /
| Основен автор: | Manna, Zohar. |
|---|---|
| Други автори: | Waldinger, Richard. |
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Reading MA :
Addison-Wesley Pub. Co.,
c1993.
|
| Предмети: |
| Провери в Paniza Library, AUBG | Сигнатура: |
QA76.6 .M35595 1993 |
|---|