Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification, Model Checking, and Abstract Interpretation Krishna S.
Код Либристо: 47021693
Издателство Springer, Berlin, март 2025
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer... Цялото описание
? points 171 b
70.61 €
138.10  лв
Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

LETTRINES GRACQ JULIEN / Книга С меки корици
common.buy 25.10 € 49.09 лв
My Hero Academia: Complete Season 3 / Видео Blu-ray
common.buy 32.44 € 63.44 лв
Loki : Agent d'Asgard T01 Lee Garbett / Книга С меки корици
common.buy 40.39 € 79.00 лв
Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil / Книга С меки корици
common.buy 36.31 € 71.02 лв
Quello della gabbia. Il mio calcio, la mia Inter Corrado Orrico / Книга С меки корици
common.buy 17.35 € 33.94 лв
Křesťanství v tóze Ondřej Doskočil / Книга С меки корици
common.buy 5.88 € 11.51 лв
Arthur Honegger Harry Halbreich / Книга Книга
common.buy 51.45 € 100.62 лв
Physique Chimie 2de Manuel 2019 Nicolas Coppens / Книга С меки корици
common.buy 45.56 € 89.10 лв
Ni galtzerdiak naiz Socks (Basque) Jeff and Mary Smith / Книга С меки корици
common.buy 9.40 € 18.38 лв
Ultimate...70s Various / Аудио Аудио компактдиск
common.buy 19.47 € 38.08 лв
Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer / Книга С меки корици
common.buy 39.36 € 76.98 лв
Caminando 3 Rosaura Sanchez / Книга С меки корици
common.buy 39.31 € 76.88 лв
O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS / Книга С меки корици
common.buy 58.32 € 114.06 лв
Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe / Книга С твърди корици
common.buy 21.74 € 42.52 лв
Bauernhof Sigrid Tinz / Книга С меки корици
common.buy 9.34 € 18.28 лв
Marienkind Paul Heyse / Книга С меки корици
common.buy 9.55 € 18.68 лв
The Sound of Disney Franziska Brocksch / Книга С меки корици
common.buy 23.50 € 45.96 лв
Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz / Книга С меки корици
common.buy 9.65 € 18.88 лв

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.
The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions.

The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Verification, Model Checking, and Abstract Interpretation
Автор Krishna S., Sriram Sankaranarayanan, Ashutosh Trivedi
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2025
Брой страници 350
Баркод 9783031827020
Код Либристо 47021693
Издателство Springer, Berlin
Тегло 412
Размери 155 x 235

Категории

Computing & Information Technology > Computer science > Mathematical theory of computation
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Wisdom Walk: Nine Practices for Creating Peace and Balance from the World's Spiritual Traditions Sage Bennet / Книга С меки корици
common.buy 17.20 € 33.63 лв
Foxton Primary Science: Light (Lower KS2 Science) Nichola Tyrrell / Книга С меки корици
common.buy 14.10 € 27.57 лв
Chasing the Truth: A Young Journalist's Guide to Investigative Reporting Megan Twohey / Книга С твърди корици
common.buy 15.70 € 30.70 лв
Katz Pajamas: The Haunted House of Hashimoto Jack Lugar / Книга С меки корици
common.buy 8.10 € 15.85 лв
40 Years Loved Peony Lane Publishing / Книга С меки корици
common.buy 10.33 € 20.20 лв
Art of Preserving Health. a Poem. by John Armstrong, M.D JOHN ARMSTRONG / Книга С твърди корици
common.buy 29.70 € 58.08 лв
History of the Siege of Chester, During the Civil Wars in the Time of King Charles I JOHN BROSTER / Книга С твърди корици
common.buy 30.68 € 60.00 лв
Adult Coloring Book Adult Coloring Books Illustrators Allian / Книга С меки корици
common.buy 13.89 € 27.17 лв
1817 A Recipe for Revolution: Reflections on the Pentrich Rising of June 1817 MR Michael Parkin / Книга С меки корици
common.buy 8.52 € 16.66 лв
When Faith Meets Therapy Stacy Kaiser / Книга С твърди корици
common.buy 20.40 € 39.90 лв
HER BROTHER'S LETTERS CHARLES M. RELYEA / Книга С твърди корици
common.buy 33.52 € 65.56 лв
Alex Prager: Silver Lake Drive ALEX PRAGER / Книга С меки корици
common.buy 28.20 € 55.15 лв
Sorting Out Catholicism Massimo Faggioli / E-книга Adobe ePub DRM
common.buy 23.96 € 46.87 лв
It All Tastes of Farewell Brigitte Reimann / Книга С меки корици
common.buy 32.02 € 62.63 лв
Ash'n Wavy Martin / Книга С меки корици
common.buy 16.53 € 32.32 лв
Echoes of Dyma Dal Iesin: Book I of The Rugby Player's Tale Tuesday Shay / Книга С меки корици
common.buy 25.15 € 49.19 лв
History of the American Newspaper Publishers Association Edwin Emery / Книга С меки корици
common.buy 58.06 € 113.55 лв
Site Automation Thomas Bock / Книга С твърди корици
common.buy 190.15 € 371.89 лв
State Rankings 2020 Scott Morgan / Книга С твърди корици
common.buy 177.75 € 347.64 лв
Process Management in Design and Construction Rachel Cooper / Книга С твърди корици
common.buy 166.23 € 325.11 лв
Top
History of Philosophy Volume 1 Frederick Copleston / Книга С меки корици
common.buy 35.23 € 68.89 лв
Top
Graphic Design Idea Book Steven Heller / Книга С меки корици
common.buy 18.02 € 35.25 лв
Russian as a Heritage Language Olesya Kisselev / Книга С твърди корици
common.buy 208.85 € 408.47 лв
Journal Of Negro History (Volume Vii) 1922 Carter G. Woodson / Книга С меки корици
common.buy 29.28 € 57.28 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?