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

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods for Industrial Critical Systems Bernhard Steffen
Код Либристо: 49083337
Издателство Springer-Verlag GmbH, октомври 2025
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Ind... Цялото описание
? points 173 b
71.71 €
140.25  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Die Wirkung von Stickoxid freisetzender Creme auf die Heilung von Druckgeschwüren Marziyeh Asadizaker / Книга С меки корици
common.buy 27.47 € 53.73 лв
De lumière, d'or et de plomb Alexandre Cabot / Книга С меки корици
common.buy 27.52 € 53.83 лв
Подготвяме
Els alicorns JANER MANILA / Книга С меки корици
common.buy 7.50 € 14.66 лв
COSMIC HIGHWAY 1000 PC PUZZLE IN SQUARE GALISON Книга С твърди корици
common.buy 16.40 € 32.07 лв
Kirchlichkeit Und Religiosit�t in Ostmittel- Und Osteuropa Olaf Müller / Книга С меки корици
common.buy 55.93 € 109.39 лв
No niin! 2 CD. Suomea aikuisille Hanna Aho / Аудио Аудио компактдиск
common.buy 81.44 € 159.28 лв
Beskydy Údolím řeky Ostravice Petr Juřák / Книга С твърди корици
common.buy 11.33 € 22.15 лв
Virginia Woolf ou l'aventure intérieure Lee / Книга С меки корици
common.buy 49.56 € 96.94 лв
Arbres fourragers - De l'élevage paysan au respect de l'environnement Goust / Книга С меки корици
common.buy 28.61 € 55.95 лв
Top
Mega-Nonogramm 05 Conceptis Puzzles / Книга С меки корици
common.buy 14.38 € 28.12 лв
rechtlichen Fragen der einvernehmlichen Aufloesung eines Arbeitsverhaltnisses Zaixing Ye / Книга С меки корици
common.buy 50.03 € 97.85 лв
Bleibt der jetzt für immer? Lauren Child / Книга С твърди корици
common.buy 13.60 € 26.61 лв
Top Подготвяме
Gin Tama 37 Hideaki Sorachi / Книга С меки корици
common.buy 8.17 € 15.98 лв
Taschenlexikon der Schmetterlinge Europas, Die häufigsten Tagfalter im Porträt Wolfgang Willner / Книга С твърди корици
common.buy 25.04 € 48.97 лв
Morgen-Glantz 23/2013 Rosmarie Zeller / Книга С меки корици
common.buy 126.76 € 247.93 лв
Liberalisme Et Etat de Droit Jacques Bidet / Книга С меки корици
common.buy 44.34 € 86.72 лв
Aah-ja! Wolf Biermann / Аудио Аудио компактдиск
common.buy 17.74 € 34.70 лв

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27 28, 2025.
The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems

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

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

Пълно заглавие Formal Methods for Industrial Critical Systems
Автор Bernhard Steffen
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2025
Брой страници 286
Баркод 9783032009418
ISBN 3032009413
Код Либристо 49083337
Издателство Springer-Verlag GmbH
Тегло 435

Категории

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

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

Students Guide to American Political Thought George W Carey / Книга С меки корици
common.buy 10.65 € 20.84 лв
Seek-And-Find Scavenger Hunt Cards (2-Deck Pack) / Игра/играчка Игра
common.buy 11.79 € 23.06 лв
Pun Intended Paperback Gift Book / Книга С меки корици
common.buy 9.15 € 17.90 лв
Spinal Cord Injury Blessen Eapen / Книга С твърди корици
common.buy 149.17 € 291.75 лв
Remake the World Astra Taylor / Книга С меки корици
common.buy 18.47 € 36.12 лв
Welcoming the Future Church Jonathan Pokluda / Книга С меки корици
common.buy 18.42 € 36.02 лв
The Legends of Saint Patrick Aubrey De Vere / Книга С меки корици
common.buy 12.05 € 23.57 лв
Called to Counsel: A Practical Manual for All Faith-Based Counselors Rev Juan M Perez / Книга С меки корици
common.buy 11.22 € 21.95 лв
Dream Home Anthony Alofsin / Книга С меки корици
common.buy 27.42 € 53.63 лв
Secreta Monita Societatis Jesu: Secret Instructions Of The Jesuits, To Which Is Prefixed An Historical Essay William M'Gavin / Книга С меки корици
common.buy 27.88 € 54.54 лв
Tomboys Michelle Ann Abate / Книга С меки корици
common.buy 35.34 € 69.11 лв
Anger in the Bosom of our Children Evans / Книга С меки корици
common.buy 8.38 € 16.38 лв
Tractates on the Gospel of John, 28-54 Saint Augustine / Книга С меки корици
common.buy 50.39 € 98.56 лв
Bird Trapping and Bird Banding Hans Bub / Книга С меки корици
common.buy 72.80 € 142.38 лв
Algebra for Cryptologists Alko R. Meijer / Книга С твърди корици
common.buy 69.28 € 135.50 лв

Вход

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

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

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

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

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