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

25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods Marsha Chechik
Код Либристо: 42849724
Издателство Springer, Berlin, април 2023
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Цялото описание
? points 263 b
108.45 €
212.10  лв
Външен склад Изпращаме след 5-8 дни

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

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

Moins un Joanniez / Книга С меки корици
common.buy 11.88 € 23.23 лв
Locke & Key Joe Hill / Книга С твърди корици
common.buy 40.61 € 79.42 лв
Уголовный кодекс Российской Федерации. Редакция 2026. Young adult / Книга С меки корици
common.buy 9.35 € 18.28 лв
Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert / Книга С меки корици
common.buy 37.71 € 73.76 лв
Bonjour Pansori Han / Книга С меки корици
common.buy 32.34 € 63.25 лв
Trace et disparition Brocchini / Книга С меки корици
common.buy 19.99 € 39.10 лв
Basics Schallschutz Dominic Kampshoff / Книга С меки корици
common.buy 24.85 € 48.60 лв
Štedrovečerné rozprávky Miklós Malvina / Книга С твърди корици
common.buy 6.04 € 11.81 лв
La Ligue de Salut La Gervaisais-N-L-M / Книга С меки корици
common.buy 13.69 € 26.77 лв

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. 

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

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

Пълно заглавие Formal Methods
Автор Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2023
Брой страници 676
Баркод 9783031274800
Код Либристо 42849724
Издателство Springer, Berlin
Тегло 929
Размери 155 x 235

Категории

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

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

Integrity in Depth John Beebe / Книга С меки корици
common.buy 17.92 € 35.06 лв
Die Closer To Me David Kuhnlein / Книга С меки корици
common.buy 14.26 € 27.88 лв
Holy Ghost Tales: Vol 1 Jonathan Harris / Книга С меки корици
common.buy 15.70 € 30.71 лв
Bimladadi's Dream Aurobindo Ghosh / Книга С меки корици
common.buy 9.55 € 18.68 лв
The Cohort Nathaniel Sizemore / Книга С меки корици
common.buy 22.16 € 43.34 лв
Leatherface Baroness Orczy / Книга С меки корици
common.buy 34.87 € 68.20 лв
Accidental Christian SHARON LEE FOLEY / Книга С твърди корици
common.buy 23.81 € 46.58 лв
Fairground Attraction: A debut poetry collection Sally Anne Nash / Книга С меки корици
common.buy 9.40 € 18.38 лв
Journals of the Common Council, Board of Aldermen, and the Joint Conventions of Said Bodies, for the Year 1885. John L McMaster / Книга С меки корици
common.buy 23.71 € 46.37 лв
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Книга С меки корици
common.buy 15.70 € 30.71 лв
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Книга С твърди корици
common.buy 54.25 € 106.10 лв
Linear Algebra: Examples And Applications Alain M. Robert / Книга С твърди корици
common.buy 126.68 € 247.77 лв
Изгодно
Life in Half a Second Matthew Michalewicz / Книга С меки корици
common.buy 11.52 € 22.53 лв
Taste Your Emotions Damien Marie Athope / Книга С меки корици
common.buy 11.31 € 22.12 лв
Screen Acting Peter Kramer / Книга С меки корици
common.buy 63.75 € 124.69 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo