Опис документа:
| |
Шифр: |
51 |
Авт. знак: |
Form |
Автор: | Berg H.K., Bocbert W.E., Franta W.R. a.o. |
Назва: | Formal methods of program verification and specification |
Видавництво: | Prentice - Hall |
Місто: | Englewood Cliffs |
Рік: | 1982 |
Сторінок: | 207 p. |
ББК: |
З973.2-018-022.11 |
Тип документу: |
Книга |
Документ знаходиться у фонді МЕХАНІКО-МАТЕМАТИЧНОГО факультету за адресою: проспект акад. Глушкова 4е, другий поверх, кім. 24,25. |
|
|
Пошук: заповніть хоча б одне з полів
|
|