51 Form Berg, H. K.     Formal methods of program verification and specification [Текст] / H.K. Berg, W.E. Bocbert, W.R.a.o. Franta. — Englewood Cliffs : Prentice - Hall, 1982. — 207 p.

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