Карпов Ю.Г. Model Checking. Верификация параллельных и распределенных программных систем

1. Файлы
2. Академическая и специальная литература
3. Информатика и вычислительная техника
4. Технология программирования
5. Тестирование программного обеспечения