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

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Techniques for Safety-Critical Systems Cyrille Artho
Код Либристо: 21284267
Издателство Springer Nature Switzerland AG, февруари 2019
This book constitutes the refereed proceedings of the 6th International Workshop on Formal Technique... Цялото описание
? points 132 b
54.51 €
106.61  лв
Външен склад Изпращаме след 5-8 дни

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

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

Staré dobré časy jsou právě teď Jaromír Matoušek / Книга С меки корици
common.buy 4.92 € 9.62 лв
Sterben lernen auf Japanisch Milena Michiko Flasar / Книга С меки корици
common.buy 20.31 € 39.72 лв
Notice Sur Jean De Schelandre, Poete Verdunois, 1585-1635 Charles Asselineau / Книга С меки корици
common.buy 16.58 € 32.42 лв
Mysterious Games Bianka Mertes / Книга С меки корици
common.buy 13.52 € 26.44 лв
Doliny a ich najkrajšie miesta Ján Lacika / Печатни материали Карта
common.buy 20.67 € 40.43 лв
Rubacoccole Maria Gianola / Книга С твърди корици
common.buy 18.18 € 35.56 лв
Alpeggi, alpigiani, formaggi della Valle d'Aosta. 23 itinerari escursionistici Marzia Verona / Книга С меки корици
common.buy 28.81 € 56.34 лв
Decidir por mayoría Gutiérrez Gutiérrez / Книга С меки корици
common.buy 27.20 € 53.20 лв
Prasa pisana / Книга С меки корици
common.buy 51.92 € 101.54 лв
TDAH : Pourquoi être ordinaire quand on peut être spécial ? Johanne Levesque / Книга С меки корици
common.buy 21.40 € 41.85 лв
Darwin. Opowieść o naszej wielkiej rodzinie. Czytam sobie. Poziom 3 Mikołaj Golachowski / Книга С меки корици
common.buy 4.50 € 8.81 лв
Zeszyt dla sześciolatków trenuję umysł z lokomotywą liczę Praca Zbiorowa Pod Red. M. Dobrowolskiej / Книга С меки корици
common.buy 4.04 € 7.89 лв
La entrevista periodística : introducción práctica José Francisco Sánchez / Книга С меки корици
common.buy 11.14 € 21.78 лв

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.

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

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

Пълно заглавие Formal Techniques for Safety-Critical Systems
Автор Cyrille Artho, Peter Csaba Ölveczky
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2019
Брой страници 179
Баркод 9783030129873
Код Либристо 21284267
Издателство Springer Nature Switzerland AG
Тегло 302
Размери 155 x 235 x 11

Категории

Computing & Information Technology > Computer science > Mathematical theory of computation
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Cardiac Energetics: From Emax to Pressure-Volume Area Martin M. LeWinter / Книга С твърди корици
common.buy 154.62 € 302.41 лв
The Geography of War Alessandra Vitale / Книга С меки корици
common.buy 29.22 € 57.15 лв
Biometric Recognition Wei Jia / Книга С меки корици
common.buy 97.93 € 191.54 лв
Lush: Gala Lush / Аудио Аудио компактдиск
common.buy 16.01 € 31.31 лв
Rachel Greenlaw Book 3 Rachel Greenlaw / Книга С меки корици
common.buy 14.50 € 28.37 лв
Dark Fantasy Notebook Angelos Kyprianos / Книга С твърди корици
common.buy 26.99 € 52.79 лв
Buying a Home: Don't Let Them Make a Monkey Out of You!: 2018 Edition Alysse Musgrave / Книга С меки корици
common.buy 14.87 € 29.08 лв
Nowhere Near First: Ultramarathon Adventures From The Back Of The Pack Cory Reese / Книга С меки корици
common.buy 16.58 € 32.42 лв
Viking Age Amulets in Scandinavia and Western Europe Bo Jensen / Книга С меки корици
common.buy 78.24 € 153.02 лв
Подготвяме
Abolitionists, Doctors, Ranchers, and Writers Lynn Marie Getz / Книга С твърди корици
common.buy 115.55 € 225.99 лв
Succession Management the How to Puzzle-Solved! Mark Caruso / Книга С меки корици
common.buy 43.16 € 84.41 лв
Jig and Fixture Design Manual E.K. Henriksen / Книга С твърди корици
common.buy 77.98 € 152.52 лв
Landmarks Around the World Margaret MacDonald / Книга С меки корици
common.buy 7.77 € 15.19 лв

Вход

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

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

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

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

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