1
Привет, нужна помощь?

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings

Спецификации:
Количество страниц: 284
Год публикации: 2024
ID товара: 115199259
Только в приложении Kaup24 PLUS участникам! Получи до 4x больше Kaup24-евро!*
  • Полная цена
  • 60 мес. без процентов
    От 173 x 60 мес.

Цена Kaup24 PLUS

6532

Обычная цена

9330

Цена Kaup24 PLUS

6532
От 173 / мес.
Продавец:

Kaup24 магазин в Таллинне (центр Mustika, Karjavälja 4)

6 августа

000

Заберите в Omniva посылочном автомате

6 августа

249

Доставим на дом

6 августа

399

Внимание! Сроки доставки являются предварительными, так как cроки обновляются в зависимости от фактического времени размещения заказа и оплаты. Окончательный срок доставки указывается продавцом после подтверждения заказа.

Заберите в Omniva посылочном автомате

6 августа

249

Доставим на дом

6 августа

399

Внимание! Сроки доставки являются предварительными, так как cроки обновляются в зависимости от фактического времени размещения заказа и оплаты. Окончательный срок доставки указывается продавцом после подтверждения заказа.

Продавец:
  • 89% покупателей рекомендовали бы этого продавца.
Клик - и Твой!
Информация

Описание товара: 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

ID товара: 115199259
Категория: Книги по садоводству
Количество упаковок товара: 1 шт.
Размеры и вес упаковки (1): 0,235 x 0,155 x 0,016 м, 0,44 кг
Издательство: Springer International Publishing
Язык публикации: Inglise keel
Тип обложки: Мягкий
Формат: Традиционная книга
Количество страниц: 284
Год публикации: 2024

Изображения продуктов приведены исключительно в иллюстративных целях и являются примерными. Ссылки на видео в описании товара предназначены только для информационных целей, поэтому информация, которую они содержат, может отличаться от самого товара. Цвета, надписи, параметры, размеры, функции и/или любые другие характеристики оригинальных продуктов из-за их визуальных характеристик могут отличаться от реальных, поэтому, пожалуйста, ознакомьтесь со спецификациями продукта, приведенными в описании продукта.

Другие также интересовались
Партнерские предложения
Реклама

Рейтинги и отзывы (0)

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings
Будьте первым, кто оставит отзыв!
Этот товар могут оценить только его покупатели, зарегистрированные на Kaup24.ee.
Оценить товар

Вопросы и ответы (0)

Спросите об этом товаре у других покупателей!
Задать вопрос
Ваш вопрос успешно отправлен. На этот вопрос будет дан ответ в течение 3 рабочих дней
Вопрос должен состоять не менее чем из 10 символов

Рекомендуем вместе с: Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings


Лучшие товары от Patogupirkti