Методи верифікації програм. Миронов А. М

Артикул: LB-0018454
Наявність:Є в наявності

780.00 грн.

Кількість

У книзі викладаються питання моделювання та верифікації (тобто докази правильності) різних класів програм. Основні концепції та на них підходи до верифікації ілюстровані прикладами верифікації різних програм. Для закріплення засвоєння викладеного матеріалу у книзі наведено велику кількість завдань. Книга призначена для студентів вищих навчальних закладів, які навчаються за спеціальностями «теоретичні засади інформатики», «штучний інтелект» та «інформаційна безпека». Також вона представляє інтерес для фахівців у цих галузях

Інформація про книгу
Автор	Миронов А. М
Обкладинка	М'який
Мова видання	Російська
Сторінок	336