681.142.2 F76 3     Formal development of programs and proofs [Текст] / edit. by Edsger W. Dijkstra. — New York : Addison-Wesley Publishing company, 1990. — 241 p. ISBN 0-201-17237-2

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	1	Перейти на сайт