Книги / тег / верификация

Книги по тегу #верификация

всего · 4
EN
Principles of Computer Programming: A Mathematical Approach

Principles of Computer Programming: A Mathematical Approach

A

Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard D. Hamlet

Алгоритмы и теория
EN
Logic for Programmers

Logic for Programmers

A

Hillel Wayne

IT-менеджмент
RU
Основы тестирования и верификации программного обеспечения

Основы тестирования и верификации программного обеспечения

B

С. М. Старолетов

IT-менеджмент
RU
Математические основы искусственного интеллекта: теория LP-структур для построения и исследования моделей знаний продукционного типа

Математические основы искусственного интеллекта: теория LP-структур для построения и исследования моделей знаний продукционного типа

A

С. Д. Махортов, под редакцией В. А. Васенина

AI и ML