Проверка на състоянието на поръчката
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€

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part-II

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Technology for Verification and Analysis S Akshay
Код Либристо: 46816329
Издателство Springer, Berlin, ноември 2024
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Sympos... Цялото описание
? points 394 b
162.11 €
317.05  лв
Външен склад Изпращаме след 5-8 дни

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

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

Diplomatie économique et diplomaties parallèles François F. BERNARD / Книга С меки корици
common.buy 16.33 € 31.94 лв
Reise Durch den Stillen Ozean Max Buchner / Книга С меки корици
common.buy 26.79 € 52.40 лв
Je prépare ma ménopause et je la vis bien ! Bérengère Philippon / Книга С меки корици
common.buy 31.33 € 61.27 лв
Kaligrafia Zeszyt z kalką praca zbiorowa / Книга С меки корици
common.buy 3.40 € 6.64 лв
Dom zbrodni Christie Agata / Книга С меки корици
common.buy 7.00 € 13.70 лв
Jurnal de Bancher Pe Drumuri: - Codrut Nicolau / Книга С меки корици
common.buy 9.37 € 18.33 лв
Misión Fernández Arribas / Книга С меки корици
common.buy 32.66 € 63.89 лв
Marbella. Vivir apaciblemente en "el gran refugio del mundo" Ramón Aymerich / Книга С меки корици
common.buy 27.77 € 54.31 лв
Décalogue 9-10 la convoitise - Communio T XXV/2 n° 148 Communio Книга С меки корици
common.buy 19.58 € 38.29 лв
Victor y los terremotos MARIA JOSE MARRODAN GIRONES / Книга С твърди корици
common.buy 9.84 € 19.24 лв
T'jutorstvo i klassnoe rukovodstvo v nachal'noj shkole Svetlana Volkova / Книга С меки корици
common.buy 39.47 € 77.19 лв
Der Herr Direktor Alice Berend / Книга С твърди корици
common.buy 18.60 € 36.37 лв
Heimat Der Berge Hansl Krönauer / Аудио Аудио компактдиск
common.buy 11.43 € 22.36 лв
Cambie sus pensamientos y cambie su vida/ Change Your Thoughts, Change Your Life Wayne W. Dyer / Книга С меки корици
common.buy 25.09 € 49.07 лв
Shakspere-Lexikon: Ein Handbuch zum Studium der shaksperischen Schauspiele / Книга С меки корици
common.buy 40.24 € 78.70 лв
Das Hara Buch sho / Книга С меки корици
common.buy 12.62 € 24.68 лв
Kritische Handlungsfelder der Work-Life-Balance bei Offizieren des Deutschen Heeres Alexander Pillris / Книга С меки корици
common.buy 49.82 € 97.45 лв
Top
Vorstadtkrokodile Max von der Grün / Книга С меки корици
common.buy 7.78 € 15.21 лв

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024.

The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections:

Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis.

Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. 

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

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

Пълно заглавие Automated Technology for Verification and Analysis
Автор S Akshay, Aina Niemetz, Sriram Sankaranarayanan
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2025
Брой страници 500
Баркод 9783031787492
Код Либристо 46816329
Издателство Springer, Berlin
Тегло 453
Размери 155 x 235

Категории

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Deutsche Kinder- und Hausmarchen Wilhelm Von Ploennies / Книга С меки корици
common.buy 11.54 € 22.57 лв
Friend of the Firm: A Sheldon Bailey Mystery Frances Richter / Книга С меки корици
common.buy 14.84 € 29.02 лв
Contact!: A Tactical Manual for Post Collapse Survival Max Velocity / Книга С меки корици
common.buy 26.38 € 51.59 лв
Mystic Mountain: The Ascent to Love John R Sack / Книга С меки корици
common.buy 19.47 € 38.09 лв
Leonardo Da Vinci And His Works Mrs Charles W Heaton / Книга С меки корици
common.buy 36.22 € 70.84 лв
Primary School Teaching and Educational Psychology David M. Galloway / Книга С твърди корици
common.buy 204.26 € 399.50 лв
BMT Data Book Reinhold Munker / Книга С меки корици
common.buy 139.85 € 273.52 лв
Cambridge Companion to the Literature of the American Renaissance EDITED BY CHRISTOPHE / Книга С твърди корици
common.buy 76.57 € 149.75 лв
Emily Windsnap and the Falls of Forgotten Island Liz Kessler / Книга С меки корици
common.buy 9.58 € 18.74 лв
The Scipio Alliance: An Aeon 14 Novel M D Cooper / Книга С меки корици
common.buy 14.78 € 28.92 лв
A Treatise on the Law of Easements. John Leybourn Goddard / Книга С меки корици
common.buy 32.46 € 63.48 лв
Prostate and Key Health Issues for Older Men Shaun Dowling / Книга С меки корици
common.buy 15.66 € 30.63 лв
thistle and the pen; an anthology of modern Scottish writers Eric Linklater / Книга С меки корици
common.buy 23.85 € 46.65 лв
Crystal Caged Elise Kova / Книга С меки корици
common.buy 18.34 € 35.87 лв
Letters Written by Eminent Persons in the Seventeenth and Eighteenth Centuries V2 (1813) John Aubrey / Книга С меки корици
common.buy 33.44 € 65.40 лв
The Unfailing Light: Memoirs of an American Rabbi Bernard Drachman / Книга С твърди корици
common.buy 55.08 € 107.73 лв
The Philosophy of the Present in Germany Maud Lyall Patrick / Книга С меки корици
common.buy 23.03 € 45.04 лв
Hope and the Sea by Magda Portal Portal Magda Portal / Книга С меки корици
common.buy 20.19 € 39.50 лв
Top
House in the Cerulean Sea TJ Klune / Книга С меки корици
common.buy 10.71 € 20.95 лв
Poetical Works of Beha-ed-Din Zoheir of Egypt Palmer Edward H. Palmer / Книга С меки корици
common.buy 25.50 € 49.88 лв
Be An Interplanetary Spy: Skystalker LEN NEUFELD / Книга С меки корици
common.buy 9.84 € 19.24 лв
MOTH PRESENTS STAFF OF THE MOTH / Книга С меки корици
common.buy 15.30 € 29.92 лв
Porsche 912 Targa Hardcover Horst E. Goltz / Книга С твърди корици
common.buy 86.98 € 170.11 лв
Ferocious Heart Joseph Asphahani / Книга С твърди корици
common.buy 25.24 € 49.37 лв

Вход

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

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

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

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

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