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

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Techniques for Safety-Critical Systems Cyrille Artho
Код Либристо: 02465622
Издателство Springer International Publishing AG, април 2014
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, hel... Цялото описание
? points 132 b
54.43 €
106.45  лв
Външен склад Изпращаме след 5-8 дни

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

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

Aimer son prochain, qu'en dit la Bible / Книга С меки корици
common.buy 12.93 € 25.29 лв
Commentaire Du Code de Commerce: Droit Commercial. Livre1, Tit8, T2 BEDARRIDE-J / Книга С меки корици
common.buy 32.08 € 62.73 лв
El Derecho Constitucional al buen gobierno local CLEMENTE MARTINEZ / Книга С меки корици
common.buy 51.69 € 101.09 лв
Blue Shirt. Scars of Ice. Tom 2 Julia Popiel / Книга С меки корици
common.buy 13.24 € 25.90 лв
Djento & Co TORINO / Книга С меки корици
common.buy 23.80 € 46.54 лв
Debian GNU-Linux - services réseaux DUTREIX / Книга С меки корици
common.buy 49.10 € 96.03 лв
Les géographes et le tiers temps - sports, loisirs, aménagements Книга С меки корици
common.buy 20.17 € 39.46 лв
Bezaubernde Balladen und geistreiche Gedichte Gunter Blaschke / Книга С меки корици
common.buy 18.88 € 36.93 лв
Sirotkův triumf Robert Buettner / Книга С меки корици
common.buy 7.91 € 15.47 лв
Mehr als Clean Code Andreas Lennartz / Книга С меки корици
common.buy 13.34 € 26.10 лв
P.A.E en la prevención de complicaciones cutáneas por encamamiento Rosti Gabriel Ortega Flores / Книга С меки корици
common.buy 47.13 € 92.18 лв
Siguiendo Los Pasos de Cristo Luis Lorenzo Cortes García / Книга С меки корици
common.buy 23.59 € 46.14 лв
Top
Horrorgeschichten Ambrose Bierce / Книга С меки корици
common.buy 9.67 € 18.91 лв

This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

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

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

Пълно заглавие Formal Techniques for Safety-Critical Systems
Автор Cyrille Artho, Peter Csaba Ölveczky
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 297
Баркод 9783319054155
ISBN 3319054155
Код Либристо 02465622
Издателство Springer International Publishing AG
Тегло 4686
Размери 155 x 235 x 17

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Top
Clean Code Robert C. Martin / Книга С меки корици
common.buy 50.86 € 99.47 лв
Chinese America Chalsa M. Loo / Книга С меки корици
common.buy 57.33 € 112.12 лв
Educational Research: Why 'What Works' Doesn't Work Marc Depaepe / Книга С меки корици
common.buy 108.60 € 212.41 лв
Hands-on Machine Learning with JavaScript Burak Kanber / Книга С меки корици
common.buy 49.67 € 97.14 лв
Hagar: : Victorian Era Romance And Feminism (Aura Press) Mary Johnston / Книга С меки корици
common.buy 12.15 € 23.77 лв
Top
Swim Technique Drills: 100 Drills and Workouts to Improve Swimming Efficiency Blythe Lucero / Книга С меки корици
common.buy 13.55 € 26.50 лв
Billy and Rose: Just the Way They Are Kady Macdonald Denton / Книга С меки корици
common.buy 6.41 € 12.54 лв
America, the Beautiful Level 5: Intermediate Katharine Lee Bates / Книга С меки корици
common.buy 7.50 € 14.66 лв
Algebraic Structures of Neutrosophic Triplets, Neutrosophic Duplets, or Neutrosophic Multisets Florentin Smarandache / Книга С меки корици
common.buy 86.97 € 170.11 лв
Remington Army and Navy Revolvers 1861-1888 Donald L. Ware / Книга С твърди корици
common.buy 53.13 € 103.92 лв
7 Secrets to Power Praying - How to Access God`s Wisdom and Miracles Every Day Jane Glenchur / Книга С меки корици
common.buy 18.42 € 36.02 лв
Arise Sullivan / Книга С твърди корици
common.buy 24.93 € 48.77 лв
Numerology Up To Date: A Key To Your Fate Karen Adams / Книга С твърди корици
common.buy 34.46 € 67.39 лв
Breakthrough to CLIL for Physics Age 14+ Workbook David Sang / Книга С меки корици
common.buy 17.38 € 33.99 лв
Are Liberty and Equality Compatible? Jan NarvesonJames P. Sterba / Книга С меки корици
common.buy 48.12 € 94.11 лв

Вход

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

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

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

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

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