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

FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга FM 2012: Formal Methods Dimitra Giannakopoulou
Код Либристо: 01661952
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2012
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Dárek z pouti Luboš Kafka / Книга С твърди корици
common.buy 26.61 € 52.05 лв
Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan / Книга С меки корици
common.buy 45.36 € 88.71 лв
Das große Limpert-Buch der Zirkuskünste Stefan Eberherr / Книга С твърди корици
common.buy 37.85 € 74.03 лв
Furstenfeldbruck-Literarisch Angelika Mundorff / Книга С меки корици
common.buy 14.29 € 27.94 лв
Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova / Книга С меки корици
common.buy 58.46 € 114.34 лв
Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico / E-книга Adobe ePub DRM
common.buy 6.88 € 13.46 лв
Postdata E.M.A / Книга С меки корици
common.buy 16.05 € 31.39 лв

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

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

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

Пълно заглавие FM 2012: Formal Methods
Автор Dimitra Giannakopoulou, Dominique Mery
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2012
Брой страници 488
Баркод 9783642327582
ISBN 3642327583
Код Либристо 01661952
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 765
Размери 155 x 235 x 28

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
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 Книгата ще пристигне на адреса на получателя

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

Th Thorium Robert G. Behrens / Книга С меки корици
common.buy 648.77 € 1 268.87 лв
Works of William H. Seward William Henry Seward / Книга С меки корици
common.buy 38.73 € 75.75 лв
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Книга С твърди корици
common.buy 73.84 € 144.42 лв
Methods of Cancer Diagnosis, Therapy, and Prognosis M. A. Hayat / Книга С меки корици
common.buy 325.52 € 636.66 лв
Whistleblowing at Work David Lewis / Книга С меки корици
common.buy 113.98 € 222.92 лв
Dancing With Danger Byrne Kerrigan Byrne / Книга С меки корици
common.buy 11.80 € 23.08 лв
Life Behind Bars Gordon Culpin / Книга С меки корици
common.buy 18.43 € 36.05 лв

Вход

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

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

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

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

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