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

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods and Software Engineering Shengchao Qin
Код Либристо: 01659032
Издателство Springer, Berlin, ноември 2010
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 8-11 дни

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

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

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone / Книга С меки корици
common.buy 86.10 € 168.39 лв
Akademia owoce Opracowanie zbiorowe / Книга С меки корици
common.buy 2.79 € 5.46 лв
Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A / Книга С меки корици
common.buy 26.24 € 51.33 лв
Die «andere» Familie Arbeitskreis "Repräsentationen" / Книга С твърди корици
common.buy 126.53 € 247.48 лв
Commentaria in decem Categorias Aristotelis Simplicius / Книга С твърди корици
common.buy 178.20 € 348.54 лв

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

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

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

Пълно заглавие Formal Methods and Software Engineering
Автор Shengchao Qin, Zongyan Qiu
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2011
Брой страници 670
Баркод 9783642245589
ISBN 3642245587
Код Либристо 01659032
Издателство Springer, Berlin
Тегло 1143
Размери 155 x 235 x 35

Категории

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Mathematical theory of computation
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Paragraph Writing Jo Ellen Moore / Книга С меки корици
common.buy 15.32 € 29.96 лв
Masonic Tour Guide - Volume 2 DANIEL HANTTULA / Книга С меки корици
common.buy 20.34 € 39.79 лв
At The End Of The Day William J Epp / Книга С меки корици
common.buy 19.31 € 37.76 лв
The Keys Are Gone: A simple critique of the English Standard Version (ESV) Dr Daniel S Haifley / Книга С меки корици
common.buy 9.37 € 18.32 лв
Top
Ruhnama: The Book of the Soul (Annotated Version) Saparmyrat Turkmenbasy / Книга С меки корици
common.buy 10.35 € 20.24 лв
Vogue x Music Magazine Vogue / Книга С твърди корици
common.buy 61.66 € 120.59 лв
Jean Prouvé Jean Prouvé / Книга С твърди корици
common.buy 26.87 € 52.55 лв
Die verlore bokkie (Afrikaans) Amanda Jesperson / Книга С меки корици
common.buy 6.26 € 12.24 лв
Classification of the Bantu Languages bound with Bantu Word Division Malcolm Guthrie / Книга С меки корици
common.buy 52.44 € 102.57 лв
Iron Ship-Building - With Practical Illustrations John Grantham / Книга С твърди корици
common.buy 37.01 € 72.39 лв
Odes Sharon Olds / Книга С меки корици
common.buy 14.91 € 29.15 лв
Speakout Advanced 2nd Edition Students' Book and DVD-ROM Pack Antonia Clare / Книга С меки корици
common.buy 38.20 € 74.72 лв
Impact of the Environment on Psychiatric Disorder Hugh Freeman / Книга С твърди корици
common.buy 92.93 € 181.76 лв
Arab and Arab American Feminisms Rabab Ibrahim Abdulhadi / Книга С твърди корици
common.buy 35.56 € 69.56 лв

Вход

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

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

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

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

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