Конкретні абстракції: формалізація та аналіз дискретних теорій та альго
Код: 16605694951
5841 грн
Ціна вказана з доставкою в Україну
Товар є в наявності
ЯК ЕКОНОМИТИ НА ДОСТАВКЕ?
Замовляйте велику кількість товарів у цього продавця
Інформація
- Час доставки: 7-10 днів
- Стан товару: новий
- Доступна кількість: 10
Просматривая «Конкретные абстракции: формализация и анализ дискретных теорий и алго», вы можете быть уверены, что данный товар из каталога «[rubrica_name]» будет доставлен из Польши и проверен на целостность. В цене товара, указанной на сайте, учтена доставка из Польши. Внимание!!! Товары для Евросоюза, согласно законодательству стран Евросоюза, могут отличаться упаковкой или наполнением.
Конкретні абстракції: формалізація та аналіз дискретних теорій та алгоритмів з рисальною перевіркою
Ця книга демонструє, як формально різні математичні домени (включаючи алгоритми, що працюють у цих областях) таким чином, що робить їх підданими повністю автоматичним аналізом комп'ютерного програмного забезпечення. Представлені домени, як правило, досліджуються в дискретній математиці, логіці, алгебрі та комп'ютерній науці;
- Автор: Wolfgang Schreiner
- видавець: springer
- Рік публікації: 2024
- обкладинка: м’яка
- Кількість сторінок: 271
- Розміри: 23,5 х 15,5 х 0 см
- Ілюстрації: 53 ілюстрації, колір; 26 ілюстрацій, чорно -білі; Xii, 271 с. 79 Іллюс., 53 Іллюс. за кольором.
- Мова: англійська
- ISBN: 9783031249365