[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Formal Techniques for Safety-Critical Systems

Език Английски езикАнглийски език
Книга С меки корици
Книга 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 164 b
127.96 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

Leselampe Flexilight Blue Words / Играчка
common.buy 19.72 лв
Best Easy Day Hikes Death Valley National Park Bill Cunningham / С меки корици
common.buy 34.22 лв
Entschuldige, ich liebe Dich!, 1 DVD Joaquin Llamas / DVD
common.buy 17.31 лв
Die Politisierung Des Islam Wilfried Röhrich / С меки корици
common.buy 44.19 лв
Die Formeln der Erfolgreichsten - Teil 1 John Train / С меки корици
common.buy 54.06 лв
Royal Air Force Pilot's Notes for Mosquito Marks FII and NFXII Royal Air Force / С меки корици
common.buy 23.85 лв
Snow Angels, Secrets and Christmas Cake SUE WATSON / С меки корици
common.buy 28.28 лв
Dynamique non linéaire de l'opération de perçage Amir Kessentini / С меки корици
common.buy 83.16 лв
East Side Story Max Heinrichs / С меки корици
common.buy 22.85 лв
Edle Liköre und feine Schnäpse selbst gemacht! Simone Edelberg / С твърди корици
common.buy 15.09 лв
Foreign Relations of the United States, 1969-1976, Volume VIII, Vietnam, January-October 1972 John M. Carland / С твърди корици
common.buy 226.03 лв

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.

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

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

Вход

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

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

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

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

Създаване на акаунт за Libristo