Конкретные абстракции: формализация и анализ дискретных теорий и алго
Код: 16605694951
5768 грн
Цена указана с доставкой в Украину
Товар есть в наличии
КАК ЭКОНОМИТЬ НА ДОСТАВКЕ?
Заказывайте большое количество товаров у этого продавца
Информация
- Время доставки: 7-10 дней
- Состояние товара: новый
- Доступное количество: 10
Просматривая «Конкретные абстракции: формализация и анализ дискретных теорий и алго», вы можете быть уверены, что данный товар из каталога «[rubrica_name]» будет доставлен из Польши и проверен на целостность. В цене товара, указанной на сайте, учтена доставка из Польши. Внимание!!! Товары для Евросоюза, согласно законодательству стран Евросоюза, могут отличаться упаковкой или наполнением.
конкретные абстракции: формализация и анализ дискретных теорий и алгоритмов с помощью контрольной проверки рискальной модели
Эта книга демонстрирует, как формально различные математические домены (включая алгоритмы, работающие в этих областях) таким образом, чтобы они поддались полностью автоматическому анализу компьютерного программного обеспечения. Представленные домены обычно исследуются в дискретной математике, логике, алгебре и компьютерной науке;
- Автор: Wolfgang Schreiner
- Издатель: springer
- Год публикации: 2024
- обложка: Soft
- Количество страниц: 271
- Размеры: 23,5 x 15,5 x 0 см
- Иллюстрации: 53 Иллюстрации, цвет; 26 иллюстраций, черно -белые; XII, 271 с. 79 Illus., 53 Illus. по цвету.
- язык: английский
- isbn: 9783031249365