Я хочу стать участником Kaup24 PLUS и согласен получать предложения и уведомления от операторов программы лояльности Kaup24 PLUS и их партнеров, а также согласен с тем, что мои персональные данные будут обрабатываться для этих целей.
Kaup24 магазин в Таллинне (центр Mustika, Karjavälja 4)
6 августа
000 €
Заберите в Omniva посылочном автомате
6 августа
249 €
Доставим на дом
6 августа
399 €
Внимание! Сроки доставки являются предварительными, так как cроки обновляются в зависимости от фактического времени размещения заказа и оплаты. Окончательный срок доставки указывается продавцом после подтверждения заказа.
Заберите в Omniva посылочном автомате
6 августа
249 €
Доставим на дом
6 августа
399 €
Внимание! Сроки доставки являются предварительными, так как cроки обновляются в зависимости от фактического времени размещения заказа и оплаты. Окончательный срок доставки указывается продавцом после подтверждения заказа.
Описание товара: Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.
The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
Общая информация o: Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings
Изображения продуктов приведены исключительно в иллюстративных целях и являются примерными. Ссылки на видео в описании товара предназначены только для информационных целей, поэтому информация, которую они содержат, может отличаться от самого товара. Цвета, надписи, параметры, размеры, функции и/или любые другие характеристики оригинальных продуктов из-за их визуальных характеристик могут отличаться от реальных, поэтому, пожалуйста, ознакомьтесь со спецификациями продукта, приведенными в описании продукта.
Другие также интересовались
Партнерские предложения
Реклама
Рейтинги и отзывы (0)
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings