Verification, Model Checking, and Abstract Interpretation: 25th Dimitrova,


Код: 15239324296
11503 грн
Ціна вказана з доставкою в Україну
Товар є в наявності
ЯК ЕКОНОМИТИ НА ДОСТАВКЕ?
Замовляйте велику кількість товарів у цього продавця
Інформація
  • Час доставки: 7-10 днів
  • Стан товару: новий
  • Доступна кількість: 10

Просматривая «Verification, Model Checking, and Abstract Interpretation: 25th Dimitrova,» данное изделие из «E-бизнес» вы можете быть уверены, что после оформления заказа, доставки в Украину, вы получите именно то, что заказывали, в оговоренные сроки и европейского качества.

Верифікація, перевірка моделі та інтерпретація тез: 25-та Міжнародна конференція, VMCAI 2024, Лондон, Сполучене Королівство, 15–16 січня 2024 р., ... Частина II (Конспект лекцій з інформатики)

  • Автор: Димитрова, Райна
  • Видавництво: Springer
  • Рік видання: 2024
  • Кількість сторінок: 360
  • Розміри: 23,5 x 15,5 x 2,1
  • Мова: англійська: опубліковано; англійська: мова оригіналу; Англійська
  • ISBN: 9783031505201