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

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

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

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

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

Ciekawski George i jego sen MARGRET REY / Книга С меки корици
common.buy 3.57 € 6.97 лв
BABADADA, slovenčina - Arabic (in arabic script), obrazkovy slovnik - visual dictionary (in arabic script) Babadada Gmbh / Книга С меки корици
common.buy 28.35 € 55.45 лв
Dialogy s vnitřním kritikem Boleslav Keprt / Книга С меки корици
common.buy 15.00 € 29.34 лв
El Derecho en Puerto Rico Fraticelli Torres / Книга С меки корици
common.buy 20.02 € 39.15 лв
Mobilitätschancen für Lehrer in Deutschland und Europa Hermann Avenarius / Книга С меки корици
common.buy 21.73 € 42.49 лв
Oeuvres Completes de Moliere. Tome 5. George Dandin. Moliere / Книга С меки корици
common.buy 36.11 € 70.63 лв
Entschuldige, ich liebe Dich!, 1 DVD Joaquin Llamas / Видео DVD
common.buy 8.48 € 16.59 лв
Leselampe Flexilight Blue Words / Игра/играчка Играчка
common.buy 10.19 € 19.93 лв
Die Politisierung Des Islam Wilfried Röhrich / Книга С меки корици
common.buy 15.16 € 29.64 лв
Dynamique non linéaire de l'opération de perçage Amir Kessentini / Книга С меки корици
common.buy 39.63 € 77.51 лв
Die Formeln der Erfolgreichsten - Teil 1 John Train / Книга С меки корици
common.buy 25.61 € 50.08 лв
East Side Story Max Heinrichs / Книга С меки корици
common.buy 10.60 € 20.74 лв
Les Pays Etrangers Et l'Exposition de 1878. La Russie Et l'Exposition de 1878, (Ed.1878) Louis Leger / Книга С меки корици
common.buy 23.95 € 46.85 лв
Robert Frank: Away Robert Frank / Книга С меки корици
common.buy 36.47 € 71.34 лв
Edle Liköre und feine Schnäpse selbst gemacht! Simone Edelberg / Книга С твърди корици
common.buy 7.34 € 14.36 лв

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 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
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 257
Баркод 9783319175805
ISBN 3319175807
Код Либристо 09249874
Издателство Springer International Publishing AG
Тегло 4102
Размери 155 x 235 x 14

Категории

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Best Easy Day Hikes Death Valley National Park Bill Cunningham / Книга С меки корици
common.buy 15.41 € 30.15 лв
Little Bells and Other Verses for Children Joyce Taylor / Книга С твърди корици
common.buy 26.90 € 52.61 лв
Aim Straight at the Fountain and Press Vaporize Elizabeth Marie Young / Книга С меки корици
common.buy 14.69 € 28.73 лв
Foreign Relations of the United States, 1969-1976, Volume VIII, Vietnam, January-October 1972 John M. Carland / Книга С твърди корици
common.buy 103.53 € 202.49 лв
Doc Vincent M. Mallozzi / Книга С твърди корици
common.buy 23.12 € 45.23 лв
SemProM Wolfgang Wahlster / Книга С меки корици
common.buy 108.60 € 212.41 лв
Scheduling Without Conflict Weldon Burge / Книга С меки корици
common.buy 57.12 € 111.71 лв
Puppy Parenting in an Apartment Cassie Leigh / Книга С меки корици
common.buy 10.86 € 21.24 лв
Zeus Grants Stupid Wishes Cory OBrien / Книга С меки корици
common.buy 12.21 € 23.87 лв
Top
Walking the Cape Wrath Trail Iain Harper / Книга С меки корици
common.buy 20.38 € 39.86 лв
Snow Angels, Secrets and Christmas Cake SUE WATSON / Книга С меки корици
common.buy 12.78 € 24.99 лв
Solo Jill Mansell / E-книга Adobe ePub DRM
common.buy 7.50 € 14.66 лв
Royal Air Force Pilot's Notes for Mosquito Marks FII and NFXII Royal Air Force / Книга С меки корици
common.buy 10.60 € 20.74 лв
Clock Nick Hemsley / Книга С меки корици
common.buy 15.36 € 30.05 лв
Liability of Certification Service Providers - How the Providers of Certification Services Related to Electronic Signatures Could Manage their Liabili George Dimitrov / Книга С меки корици
common.buy 82.16 € 160.70 лв
Medikidz Explain Juvenile Idiopathic Arthritis Kim Chilman-Blair / Книга С меки корици
common.buy 11.38 € 22.25 лв
Understanding Career Counselling Jenny Kidd / Книга С меки корици
common.buy 41.44 € 81.05 лв
Electron Kinetics and Applications of Glow Discharges Uwe Kortshagen / Книга С твърди корици
common.buy 183.68 € 359.25 лв
Dynamics of Arterial Flow Stewart Wolf / Книга С меки корици
common.buy 61.10 € 119.51 лв

Вход

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

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

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

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

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