Проверка на състоянието на поръчката
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.50 €
137.89  лв
Външен склад Изпращаме след 5-8 дни

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

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

LETTRINES GRACQ JULIEN / Книга С меки корици
common.buy 24.82 € 48.55 лв
My Hero Academia: Complete Season 3 / Видео Blu-ray
common.buy 27.30 € 53.39 лв
Top Подготвяме Нови
Cash Jessica Peterson / Книга С меки корици
common.buy 15.53 € 30.38 лв
Küsse im Schnee MG Verlag / Книга С меки корици
common.buy 16.20 € 31.69 лв
Loki : Agent d'Asgard T01 Lee Garbett / Книга С меки корици
common.buy 40.10 € 78.43 лв
Quello della gabbia. Il mio calcio, la mia Inter Corrado Orrico / Книга С меки корици
common.buy 17.08 € 33.40 лв
Abandonados a la pasión LINDSAY / Книга Книга
common.buy 5.57 € 10.89 лв
Duhongo furiak Richard Morgan / E-книга Adobe ePub DRM
common.buy 6.40 € 12.51 лв
Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil / Книга С меки корици
common.buy 36.28 € 70.96 лв
Misconduct Penelope Douglas / Книга С меки корици
common.buy 10.99 € 21.49 лв
Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer / Книга С меки корици
common.buy 39.33 € 76.91 лв
Křesťanství v tóze Ondřej Doskočil / Книга С меки корици
common.buy 5.88 € 11.50 лв
Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz / Книга С меки корици
common.buy 9.65 € 18.87 лв
The Sound of Disney Franziska Brocksch / Книга С меки корици
common.buy 23.43 € 45.82 лв
Marienkind Paul Heyse / Книга С меки корици
common.buy 9.54 € 18.67 лв
Bauernhof Sigrid Tinz / Книга С меки корици
common.buy 9.23 € 18.06 лв
Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe / Книга С твърди корици
common.buy 21.72 € 42.49 лв
O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS / Книга С меки корици
common.buy 58.27 € 113.96 лв
Caminando 3 Rosaura Sanchez / Книга С меки корици
common.buy 40.10 € 78.43 лв
Arthur Honegger Harry Halbreich / Книга Книга
common.buy 51.14 € 100.03 лв
Desfilando por la moda : todas las respuestas a tus dudas Laura Martínez Martínez / Книга С меки корици
common.buy 26.01 € 50.87 лв
Cuaderno Blackie Books. Vol. 6: Cuaderno de vacaciones para adultos DANIEL LOPEZ VALLE / Книга С меки корици
common.buy 13.67 € 26.74 лв
Ultimate...70s Various / Аудио Аудио компактдиск
common.buy 17.34 € 33.91 лв
Juegos yoga: 50 divertidas actividades de yoga para niños TARA GUBER / Книга С твърди корици
common.buy 26.27 € 51.37 лв

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 Книгата ще пристигне на адреса на получателя

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

40 Years Loved Peony Lane Publishing / Книга С меки корици
common.buy 10.32 € 20.18 лв
It All Tastes of Farewell Brigitte Reimann / Книга С меки корици
common.buy 34.16 € 66.82 лв
HER BROTHER'S LETTERS CHARLES M. RELYEA / Книга С твърди корици
common.buy 33.49 € 65.51 лв
Unveiling Truth Cpa Cgma Johnson / Книга С меки корици
common.buy 12.33 € 24.12 лв
Подготвяме
Croydon Gerald Gosling / Книга С меки корици
common.buy 7.01 € 13.72 лв
Sorting Out Catholicism Massimo Faggioli / E-книга Adobe ePub DRM
common.buy 24.25 € 47.44 лв
Habitually Great Communication: Master The Power of Your Words Mark F Weinstein / Книга С меки корици
common.buy 14.76 € 28.86 лв
1817 A Recipe for Revolution: Reflections on the Pentrich Rising of June 1817 MR Michael Parkin / Книга С меки корици
common.buy 8.51 € 16.65 лв
Adult Coloring Book Adult Coloring Books Illustrators Allian / Книга С меки корици
common.buy 13.88 € 27.15 лв
Rise and Be Healed: Biblical Secrets of Health and Healing Victor Adeyemi / Книга С меки корици
common.buy 8.51 € 16.65 лв
History of the Siege of Chester, During the Civil Wars in the Time of King Charles I JOHN BROSTER / Книга С твърди корици
common.buy 30.65 € 59.95 лв
Art of Preserving Health. a Poem. by John Armstrong, M.D JOHN ARMSTRONG / Книга С твърди корици
common.buy 29.67 € 58.04 лв
Email English 2nd Edition Book - Paperback Paul Emmerson / Книга С меки корици
common.buy 22.60 € 44.21 лв
Alex Prager: Silver Lake Drive ALEX PRAGER / Книга С меки корици
common.buy 28.12 € 55.01 лв
Katz Pajamas: The Haunted House of Hashimoto Jack Lugar / Книга С меки корици
common.buy 8.10 € 15.84 лв
When Faith Meets Therapy Stacy Kaiser / Книга С твърди корици
common.buy 20.38 € 39.87 лв
What Does An Anteater Eat? ROSS COLLINS / Книга С меки корици
common.buy 9.29 € 18.16 лв
Foxton Primary Science: Light (Lower KS2 Science) Nichola Tyrrell / Книга С меки корици
common.buy 14.24 € 27.85 лв
Chasing the Truth: A Young Journalist's Guide to Investigative Reporting Megan Twohey / Книга С твърди корици
common.buy 15.63 € 30.58 лв
State Rankings 2020 Scott Morgan / Книга С твърди корици
common.buy 177.96 € 348.06 лв
How James Chalmers Saved The Penny Postage Scheme: Letter Of The Dundee Bankers And Merchants To The Lords Of Her Majesty's Treasury (1890) Patrick Chalmers / Книга С меки корици
common.buy 20.23 € 39.56 лв
Journal Of Negro History (Volume Vii) 1922 Carter G. Woodson / Книга С меки корици
common.buy 29.26 € 57.23 лв
History of the American Newspaper Publishers Association Edwin Emery / Книга С меки корици
common.buy 58.01 € 113.46 лв
Die Cambridge Origenists Alfons Fürst / Книга С твърди корици
common.buy 80.57 € 157.57 лв

Вход

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

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

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

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

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