Войти
Нет соединения — показаны сохранённые данные

Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria-Steffen

Войти и добавить на полку

Назад на полку

Похожие книги

Information systems
Information systems
Computer and Information Sciences Symposium Miami Beach, Fla. 1972.
 Mapping Wilderness
Mapping Wilderness
Stephen J. Carver
 Learning from data
Learning from data
Vladimir S. Cherkassky
 Requirements Engineering
Requirements Engineering
Didar Zowghi
 Software Engineering
Software Engineering
Roger S. Pressman
 Computational intelligence
Computational intelligence
Witold Pedrycz