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

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

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

mercato della salute Franco Cosmi / Книга С меки корици
common.buy 26.63 € 52.08 лв
Briefe, die neueste Litteratur betreffend, Teil 15, Briefe, die neueste Litteratur betreffend Teil 15 Moses Mendelssohn / Книга С твърди корици
common.buy 124.67 € 243.84 лв
Qualidade em Turismo na Regi?o Centro de Portugal Andreia Moura / Книга С меки корици
common.buy 57.17 € 111.81 лв
Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert / Книга С меки корици
common.buy 36.55 € 71.49 лв
Подготвяме
Большая книга приключений Конни. Путешествия Лиана Шнайдер / Книга С твърди корици
common.buy 18.76 € 36.69 лв
Moins un Joanniez / Книга С меки корици
common.buy 10.79 € 21.11 лв
Yoga, Sex and Happiness Carolin-Marie Roth / Книга С меки корици
common.buy 24.93 € 48.76 лв
Erklärungen und Übungen, m. CD-ROM Christoph Wortberg / Книга С меки корици
common.buy 22.10 € 43.23 лв
Уголовный кодекс Российской Федерации. Редакция 2026. Young adult / Книга С меки корици
common.buy 9.30 € 18.19 лв
Alan E. Baklayan Mariam T. Tennoe / Книга С меки корици
common.buy 108.53 € 212.26 лв
Locke & Key Joe Hill / Книга С твърди корици
common.buy 40.10 € 78.42 лв
Comarcal 415 Isabel Montes / Книга С меки корици
common.buy 18.71 € 36.59 лв
La Ligue de Salut La Gervaisais-N-L-M / Книга С меки корици
common.buy 13.00 € 25.43 лв
Jerusalem, Jerusalem Berengar Pfahl / Видео DVD
common.buy 18.66 € 36.49 лв
Lobito bueno, lobito malo ANABEL ESCRIBANO / Книга С меки корици
common.buy 12.69 € 24.83 лв
Cadena de oro Kolton / Книга С меки корици
common.buy 10.12 € 19.80 лв
These: Des Privileges Sur Les Meubles Flachat-A / Книга С меки корици
common.buy 16.70 € 32.67 лв
Štedrovečerné rozprávky Miklós Malvina / Книга С твърди корици
common.buy 6.01 € 11.76 лв
Basics Schallschutz Dominic Kampshoff / Книга С меки корици
common.buy 24.67 € 48.26 лв
EL CASTILLO DE LA PRINCESA TORBELLINO Benjamin Bécue / Книга Дипляна
common.buy 19.58 € 38.30 лв
Schieferdächer / Книга С меки корици
common.buy 86.01 € 168.22 лв
Trace et disparition Brocchini / Книга С меки корици
common.buy 19.89 € 38.91 лв
PC-7M popisovač Posca, 4,5-5,5 mm, černý (24) / Канцеларски материали Канцеларски материали
common.buy 4.52 € 8.84 лв
Interaktionen im Kita-Alltag gestalten Heike Wadepohl / Книга С меки корици
common.buy 27.35 € 53.49 лв

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

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

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.59 € 46.15 лв
Quaking of America Resmaa Menakem / Книга С меки корици
common.buy 14.90 € 29.15 лв
Holy Ghost Tales: Vol 1 Jonathan Harris / Книга С меки корици
common.buy 15.62 € 30.56 лв
One For All Lillie Lainoff / Книга С меки корици
common.buy 10.33 € 20.20 лв
The Last Exchange Martin / Книга С твърди корици
common.buy 25.96 € 50.77 лв
Die Closer To Me David Kuhnlein / Книга С меки корици
common.buy 15.68 € 30.66 лв
Bimladadi's Dream Aurobindo Ghosh / Книга С меки корици
common.buy 9.51 € 18.59 лв
Leatherface Baroness Orczy / Книга С меки корици
common.buy 34.70 € 67.87 лв
Accidental Christian SHARON LEE FOLEY / Книга С твърди корици
common.buy 23.70 € 46.35 лв
Banker's Death: Temptation in Florence Beate Boeker / Книга С меки корици
common.buy 12.90 € 25.23 лв
Fairground Attraction: A debut poetry collection Sally Anne Nash / Книга С меки корици
common.buy 9.35 € 18.29 лв
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Книга С меки корици
common.buy 15.62 € 30.56 лв
Подготвяме
White Boy Shuffle PAUL BEATTY / Книга С меки корици
common.buy 10.33 € 20.20 лв
The Cohort Nathaniel Sizemore / Книга С меки корици
common.buy 22.05 € 43.13 лв
Semiotics of Religion Robert A Yelle / Книга С твърди корици
common.buy 244.11 € 477.43 лв
Tuneable Film Bulk Acoustic Wave Resonators Spartak Gevorgian / Книга С меки корици
common.buy 107.91 € 211.06 лв
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Книга С твърди корици
common.buy 53.98 € 105.57 лв
Linear Algebra: Examples And Applications Alain M. Robert / Книга С твърди корици
common.buy 125.24 € 244.94 лв
Prime-Time Pitcher Matt Christopher / Книга С меки корици
common.buy 9.92 € 19.40 лв
Integrity in Depth John Beebe / Книга С меки корици
common.buy 17.84 € 34.88 лв
In the Name of Mozart Malou Swinnen / Книга С меки корици
common.buy 15.16 € 29.65 лв
Изгодно
Life in Half a Second Matthew Michalewicz / Книга С меки корици
common.buy 5.96 € 11.65 лв
Screen Acting Peter Kramer / Книга С меки корици
common.buy 66.52 € 130.11 лв
Taste Your Emotions Damien Marie Athope / Книга С меки корици
common.buy 11.25 € 22.01 лв

Вход

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

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

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

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

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