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

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods and Software Engineering Shaoying Liu
Код Либристо: 01570773
Издателство Springer, Berlin, ноември 2007
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Цялото описание
? points 148 b
61.07 €
119.44  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Programmieren Lernen Peter Pepper / Книга С меки корици
common.buy 49.80 € 97.41 лв
Grenzen, Nähe, Respekt Jesper Juul / Книга С меки корици
common.buy 12.45 € 24.34 лв
Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim / Книга С меки корици
common.buy 74.45 € 145.61 лв
Richterrecht und Verfassung. Jörn Ipsen / Книга С меки корици
common.buy 67.11 € 131.26 лв
Herrschaft Susanne Held / Книга С твърди корици
common.buy 25.05 € 49.00 лв
matrimonio nel diritto ebraico Daniele Zaccheddu / Книга С меки корици
common.buy 34.46 € 67.39 лв

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

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

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

Пълно заглавие Formal Methods and Software Engineering
Автор Shaoying Liu, Tom Maibaum, Keijiro Araki
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2008
Брой страници 397
Баркод 9783540881933
ISBN 354088193X
Код Либристо 01570773
Издателство Springer, Berlin
Тегло 635
Размери 155 x 235 x 21

Категории

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
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

NUMIFORM 2010 Frederic Barlat / Книга С меки корици
common.buy 518.43 € 1 013.96 лв
Microelectronics Education Ton J. Mouthaan / Книга С твърди корици
common.buy 102.92 € 201.29 лв
Horror Before It Was Cool Weasel Press / Книга С меки корици
common.buy 8.42 € 16.46 лв
Lives Of Scottish Authors (1801) David Irving / Книга С меки корици
common.buy 24.02 € 46.98 лв
Developing a Champion's Heart: Leadership Lessons from the Life of David Brian Rezendes / Книга С меки корици
common.buy 8.52 € 16.66 лв
Embracing and Educating the Autistic Child Nicholas D. Young / Книга С меки корици
common.buy 40.81 € 79.82 лв
I Love You God Amal Ishraim / Книга С меки корици
common.buy 9.66 € 18.89 лв
Essay Towards an Easy and Useful System of Logic Robert Blakey / Книга С твърди корици
common.buy 32.55 € 63.65 лв
The Garden Crew (We Read Phonics - Level 6) Sindy McKay / Книга С меки корици
common.buy 6.50 € 12.72 лв
So Far, So Goude Jean-Paul Goude / Книга С твърди корици
common.buy 116.61 € 228.07 лв
Top
Yacoubian Building Alaa Al Aswany / Книга С меки корици
common.buy 11.52 € 22.53 лв
Orienting Polymers J.-L. Ericksen / Книга С меки корици
common.buy 27.38 € 53.55 лв
Statistical Analysis of Environmental Space-Time Processes Nhu D. Le / Книга С меки корици
common.buy 154.22 € 301.64 лв

Вход

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

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

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

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

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