681.3 M25 Manna, Z.     The logical basis for computer programming [Текст]. Deductive systems / Z. Manna, R. Waldinger. — Reading : Addison-Wesley Publishing Company, 1990. — 642 s. ISBN 0-201-18261-0

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека Національного університету водного господарства та природокористування. ГБ - Головна бібліотека	1	Перейти на сайт