Оплачивая «Computer Aided Verification: 35th International Conference, CAV 2023,», вы можете быть уверены, что данный товар из каталога «E-бизнес» будет доставлен из Польши и проверен на целостность. В цене товара, указанной на сайте, учтена доставка из Польши. Внимание!!! Товары для Евросоюза, согласно законодательству стран Евросоюза, могут отличаться упаковкой или наполнением.

Компьютерная верификация: 35-я Международная конференция, CAV 2023, Париж, Франция, 17–22 июля 2023 г., Материалы, часть I (Конспекты лекций по информатике)

• Автор: Энеа Константин
• Издательство: Springer
• Дата выпуска: 17 июля 2023 г.
• Количество страниц: 520
• Размеры: 15,5 x 3 x 23.5
• Язык: Английский: Опубликовано; Английский: язык оригинала; Английский
• ISBN: 9783031377051