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

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


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

  • 780.00 грн.

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

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

Написати відгук

Примітка: HTML розмітка не підтримується! Використовуйте звичайний текст.
    Погано           Добре
Захист від роботів