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

12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Methods and Software Engineering Jin Song Dong
Код Либристо: 01656973
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 2010
This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engine... Цялото описание
? points 280 b
115.84 €
226.56  лв
Външен склад Изпращаме след 9-15 дни

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

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

Le Mont-Saint-Michel -Neerlandais- Henry Decaens / Книга С меки корици
common.buy 13.10 € 25.61 лв
Andre Cornelis M Paul Bourget / Книга С меки корици
common.buy 12.68 € 24.80 лв
LEURO COMMENT LA MONNAIE UNIQUE MENACE LAVENIR DE LEUROPE JOSEPH E STIGLITZ / Книга Книга
common.buy 55.92 € 109.38 лв
Encrucijada Rodolfo Martinez / E-книга Adobe ePub DRM
common.buy 4.03 € 7.89 лв
Moja kaligrafia Cyferki Dorota Krassowska / Книга С меки корици
common.buy 1.70 € 3.33 лв
Подготвяме
Moluk Bilibo Balance- und Spielschale lila / Игра/играчка Играчка
common.buy 35.88 € 70.18 лв
Wild Julia Ruby Hildebrand / Книга С твърди корици
common.buy 22.99 € 44.96 лв
Bilder des Kaisers von Deutschland Bernd Schubert / Книга С меки корици
common.buy 75.50 € 147.66 лв
Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler / Книга С меки корици
common.buy 29.98 € 58.63 лв
Heidejagd Angela L. Forster / Книга С меки корици
common.buy 12.68 € 24.80 лв
Über die Anwendung der vertikalen Extension bei der Behandlung von Oberschenkelfrakturen rachitischer Kinder Wilhelm Stoeltzner / Книга С меки корици
common.buy 13.36 € 26.12 лв
AutoCAD Fur Die Haustechnik Olaf Schymura / Книга С меки корици
common.buy 54.89 € 107.35 лв
Dinosaury / Книга Дипляна
common.buy 10.09 € 19.74 лв
Non-controlling minority shareholdings under eu competition law ( MIGUEL VERDEGUER SAGARRA / Книга Книга
common.buy 59.86 € 117.07 лв
Filosofía de la ciencia HERCE FERNANDEZ / Книга С меки корици
common.buy 15.94 € 31.19 лв
Potential von Poetry Slam fur den Literaturunterricht. Analyse zweier Texte von Bas Boettcher und Nora Gomringer Vanessa Ewald / Книга С меки корици
common.buy 40.65 € 79.50 лв
Sobre el estudio de la historia. y los Apéndices de la Historia de Inglaterra Hume / Книга С меки корици
common.buy 13.72 € 26.83 лв
Sol rojo sobre Hiroshima Mario Escobar Golderos / Книга С меки корици
common.buy 29.56 € 57.82 лв

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010.§The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

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

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

Пълно заглавие Formal Methods and Software Engineering
Автор Jin Song Dong, Huibiao Zhu
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2010
Брой страници 712
Баркод 9783642169007
ISBN 3642169007
Код Либристо 01656973
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1024
Размери 158 x 242 x 28

Категории

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

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

Service-Oriented Computing - ICSOC Workshops 2012 Aditya Ghose / Книга С меки корици
common.buy 54.47 € 106.54 лв
Advances in Cryptology - ASIACRYPT 2015 Tetsu Iwata / Книга С меки корици
common.buy 54.47 € 106.54 лв
Top
Inspired by Nature Hans Blomquist / Книга С твърди корици
common.buy 24.90 € 48.71 лв
Acrylics Adrian Burrows / Книга С меки корици
common.buy 11.54 € 22.58 лв
Acropolis STANISLA WYSPIANSKI / Книга Книга
common.buy 29.77 € 58.23 лв
Native American Style Seed Bead Jewelry. Part I. Bracelets Artium Studia / Книга С меки корици
common.buy 16.93 € 33.11 лв
Bloom: Best Arizona Teen Writing of 2014 Young Authors of Arizona / Книга С меки корици
common.buy 14.86 € 29.06 лв
An Epitome of the Law Affecting Marine Insurance. Lawrence Duckworth / Книга С меки корици
common.buy 17.81 € 34.83 лв
TEACHERS MANUAL FOR THE 1ST RE Montrose J. Moses / Книга С твърди корици
common.buy 33.60 € 65.72 лв
Textual analysis for English Language and Literature for the IB Diploma Carolyn P. Henly / Книга С меки корици
common.buy 39.04 € 76.36 лв
New Sogang Korean 1A Workbook Song-hee Kim / Книга С меки корици
common.buy 19.05 € 37.26 лв
George II Andrew C Thompson / Книга С меки корици
common.buy 26.46 € 51.75 лв
What Labs Love Ed Camelli / Книга С твърди корици
common.buy 22.42 € 43.85 лв
Tami's Pocket Posh Journal, Chevron Andrews McMeel Publishing / Книга С меки корици
common.buy 7.71 € 15.08 лв
Ike the Eskimo Daniel Roberts / Книга С меки корици
common.buy 13.61 € 26.63 лв
Death at the Member-Guest James Y. Bartlett / Книга С меки корици
common.buy 20.35 € 39.79 лв
Unintended Consequences Stuart Woods / Книга С меки корици
common.buy 15.69 € 30.68 лв
Paw Patrol: Jet to the Rescue / Видео DVD
common.buy 7.56 € 14.78 лв
Let's Talk About: Sharing the Gospel Robert Bowen / E-книга Adobe ePub DRM
common.buy 4.60 € 9.00 лв
Sports Coaching Cultures Kathleen M. Armour / E-книга Adobe ePub DRM
common.buy 87.93 € 171.97 лв
Подготвяме
Clinical Oncology Venkata Koyyala / Книга С меки корици
common.buy 39.97 € 78.18 лв
Practical Python Security Dennis Byrne / Книга С меки корици
common.buy 67.01 € 131.05 лв
Top
Less is More Jason Hickel / Книга С меки корици
common.buy 11.23 € 21.97 лв
Top
Avatar: The Last Airbender - The Search Omnibus Gene Luen Yang / Книга С меки корици
common.buy 19.47 € 38.07 лв

Вход

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

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

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

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

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