51 Н Непомнящий, В. А.     Прикладные методы верификации программ [Текст] / В.А. Непомнящий, О.М. Рякин. — М., 1988. — 255с. ISBN 5-256-00156-6

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н-I - контрольний примірник	1	Перейти на сайт
Науково-технічна бібліотека Національного авіаційного університету	1	Перейти на сайт
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова	2	Перейти на сайт