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

Formal Methods: Foundations and Applications

27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods: Foundations and Applications Sidney C. Nogueira
Код Либристо: 46813857
Издателство Springer, Berlin, декември 2024
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Fo... Цялото описание
? points 171 b
70.61 €
138.10  лв
Външен склад Изпращаме след 5-8 дни

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

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

Jaroslav Velc V oblacích Ondřej Neff / Книга С твърди корици
common.buy 84.40 € 165.08 лв
Anne de Avonlea - Vol. 2 da serie Anne de Green Gables Lucy Maud Montgomery / Книга С меки корици
common.buy 29.65 € 57.98 лв
Co se tenkrát nemohlo napsat Jiří Haleš / Книга С твърди корици
common.buy 14.15 € 27.67 лв
Mon coach pour le mémoire de fin d'études en IFSI Mendes / Книга С меки корици
common.buy 20.86 € 40.81 лв
Siatka danych. Nowoczesna koncepcja samoobsługowej infrastruktury danych Zhamak Dehghani / Книга С меки корици
common.buy 21.07 € 41.21 лв
Jean-Baptiste de La Salle, Emmanuel Mounier : deux chrétiens engagés dans leur siècle FORET / Книга С меки корици
common.buy 32.95 € 64.45 лв
Opowiastki do przemyślenia Bucay Jorge / Книга С твърди корици
common.buy 13.32 € 26.06 лв
Journal International de Bioéthique et d'Ethique des Sciences 2-2024 Byk / Книга Книга
common.buy 48.09 € 94.05 лв
Top
Desert Habitat / Игра/играчка Играчка
common.buy 17.66 € 34.54 лв
Изгодно
Přesedni na můj vůz Květa Monhartová / Книга С меки корици
common.buy 0.61 € 1.20 лв
MIGUEL FISAC ASENSIO WANDOSELL / Книга Книга
common.buy 26.96 € 52.73 лв
Os Bochechas. Animais do bosque CARREIRO MONTEIRO / Книга С меки корици
common.buy 17.56 € 34.34 лв
PECHE EN MER A LA VOILE MARIN / Книга С меки корици
common.buy 16.32 € 31.92 лв
Schritt fur Schritt in Alltag und Beruf Daniela Niebisch / Книга С меки корици
common.buy 23.09 € 45.15 лв
Que Vuelvan Las Vacas Locas! Carles Arbat / Книга С меки корици
common.buy 25.51 € 49.90 лв
Ukhruj Minha YA Maluon: Novel in Arabic Saddam Hussein / Книга С меки корици
common.buy 28.30 € 55.36 лв
Historia de la vejez : de la Antigüedad al Renacimiento Georges Minois / Книга С меки корици
common.buy 38.94 € 76.17 лв
Emotionale Intelligenz im Biologie-Unterricht zur Foerderung der Konfliktfahigkeit von Schulern Stephan Niemeier / Книга С меки корици
common.buy 17.09 € 33.43 лв
Tantra : el camino de la aceptación Osho / Книга С меки корици
common.buy 17.35 € 33.94 лв
Libertarianizm Krytyka Tomasz Teluk / Книга С меки корици
common.buy 8.52 € 16.66 лв
Das Deutsche Poplied ALS Textsorte Agnieszka Marta Kurzynska / Книга С твърди корици
common.buy 54.13 € 105.87 лв
Oeuvres Illustrees de George Sand. 3 (Ed.1852-1856) Sand / Книга С меки корици
common.buy 26.18 € 51.21 лв
Korrektes Ausfüllen des Zeitnachweisbogens (Unterweisung Diplom-Betriebswirt / -in) Susanne Mayer / Книга С меки корици
common.buy 14.36 € 28.08 лв

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4-6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.

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

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

Пълно заглавие Formal Methods: Foundations and Applications
Автор Sidney C. Nogueira, Ciprian Teodorov
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2024
Брой страници 210
Баркод 9783031781155
Код Либристо 46813857
Издателство Springer, Berlin
Тегло 347
Размери 155 x 235

Категории

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

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

War of the Bloods in My Veins Dashaun "Jiwe" Morris / Книга С меки корици
common.buy 13.94 € 27.27 лв
Salem's Vengeance Aaron Galvin / Книга С меки корици
common.buy 13.06 € 25.55 лв
Patience Wins: War in the Works George Manville Fenn / Книга С меки корици
common.buy 7.64 € 14.94 лв
Toxins and Contaminants in Indian Food Products Ramesh Kumar Sharma / Книга С твърди корици
common.buy 119.48 € 233.68 лв
Race, Gender, and Curriculum Theorizing Denise Taliaferro Baszile / Книга С твърди корици
common.buy 120.46 € 235.60 лв
Bond and Free, by the Author of 'Caste' Emily Jolly / Книга С твърди корици
common.buy 34.40 € 67.28 лв
World of Aluna #2 PAULA GARCES / Книга С меки корици
common.buy 7.90 € 15.45 лв
The Mysteries, Pagan And Christian: Being The Hulsean Lectures For 1896-1897 (1897) Samuel Cheetham / Книга С меки корици
common.buy 25.00 € 48.89 лв
Fractional Calculus for Skeptics I West / Книга С твърди корици
common.buy 276.21 € 540.21 лв
Explore English Student's Coursebook: Stage 2 Daphne Paizee / Книга С меки корици
common.buy 15.85 € 31.01 лв
Still Life with Timex Elisabeth Murawski / Книга С меки корици
common.buy 16.63 € 32.52 лв
Satisfiability and Model Checking in Team Based Logics Julian-Steffen Müller / Книга С меки корици
common.buy 26.34 € 51.52 лв
The Dragon King: An Elemental spin-off novella T. B. Wiese / Книга С меки корици
common.buy 11.77 € 23.03 лв
Son Philipp Meyer / Книга С меки корици
common.buy 17.25 € 33.73 лв
English Shepherd. English Shepherd Dog Complete Owners Manual. English Shepherd book for care, costs, feeding, grooming, health and training. George Hoppendale / Книга С меки корици
common.buy 15.54 € 30.40 лв
Paddling the Ozarks Mike Bezemek / Книга С меки корици
common.buy 17.15 € 33.53 лв
Translation Studies in the Age of Artificial Intelligence Kanglong Liu / Книга С меки корици
common.buy 61.67 € 120.62 лв
Berenstain Bears Trick or Treat Jan Berenstain / Книга С меки корици
common.buy 5.94 € 11.61 лв
Plato Plato / Книга С меки корици
common.buy 47.62 € 93.14 лв
Mandarin Aaron Kunin / Книга С меки корици
common.buy 19.11 € 37.37 лв
Learning in a Burning House Sonya Douglass Horsford / Книга С меки корици
common.buy 36.98 € 72.33 лв
Undead Next Door Kerrelyn Sparks / Книга С меки корици
common.buy 7.95 € 15.55 лв
Nonmetallic Materials and Composites at Low Temperature G. Hartwig / Книга С меки корици
common.buy 54.34 € 106.28 лв
Pikes Peak Echo Nov. 1885-June 1886; 1 Colorado College / Книга С твърди корици
common.buy 33.52 € 65.56 лв

Вход

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

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

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

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

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