|
|
Результат поиска |
Поиск книг, содержащих: Спецификация (specification)
Книга | Страницы для поиска | Хоггер К. — Введение в логическое программирование | 165—166, 169—170 | Хоггер К. — Введение в логическое программирование | 165—166, 169—170 | Кларк Э.М., Грамберг О., Пелед Д. — Верификация моделей программ: Model Checking | 24, 26, 55 | Кейн Э., Энтов Р. (ред.), Мошкович Р. (пер.) — Экономическая статистика и эконометрия | 138, 171, 207 |
|
|