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

Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Integrated Formal Methods Dominique Méry
Код Либристо: 01656785
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, октомври 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Цялото описание
? points 132 b
54.35 €
106.30  лв
Външен склад Изпращаме след 5-8 дни

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

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

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Книга С меки корици
common.buy 19.01 € 37.18 лв
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Книга С меки корици
common.buy 34.41 € 67.29 лв
Het oog der liefde Kent / Аудиокнига MP3
common.buy 7.49 € 14.64 лв
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Книга С меки корици
common.buy 8.52 € 16.66 лв
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Книга С меки корици
common.buy 20.71 € 40.51 лв
Petite Terreur ou souffre-douleur Stéphane Bourcet / Книга С меки корици
common.buy 29.55 € 57.79 лв
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Книга С меки корици
common.buy 24.90 € 48.70 лв
Potencial de Croacia como destino turístico para el mercado ruso / Книга С меки корици
common.buy 37.71 € 73.76 лв
Vežovníček Marta Hlušíková; Alena Wagnerová / Книга С твърди корици
common.buy 7.85 € 15.35 лв
Jakobsweg ist uberall Olaf Behrens / Книга С меки корици
common.buy 15.65 € 30.61 лв
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Книга С меки корици
common.buy 17.87 € 34.95 лв
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Книга С меки корици
common.buy 16.06 € 31.42 лв
Oberwallis Roland Nanzer / Книга С твърди корици
common.buy 36.42 € 71.23 лв
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Книга С меки корици
common.buy 19.01 € 37.18 лв
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Книга С меки корици
common.buy 17.10 € 33.44 лв
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Книга С меки корици
common.buy 54.76 € 107.11 лв
Schumann-Handbuch Ulrich Tadday / Книга С твърди корици
common.buy 33.63 € 65.78 лв
Die Strafgewalt der Kirche. Wilhelm Rees / Книга С меки корици
common.buy 99.20 € 194.01 лв
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Книга С меки корици
common.buy 15.29 € 29.90 лв
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Видео Видео
common.buy 7.54 € 14.74 лв

This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.

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

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

Пълно заглавие Integrated Formal Methods
Автор Dominique Méry, Stephan Merz
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2010
Брой страници 337
Баркод 9783642162640
ISBN 3642162649
Код Либристо 01656785
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 528
Размери 155 x 235 x 19

Категории

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

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

Knight of the White Cross George Alfred Henty / Книга С меки корици
common.buy 17.10 € 33.44 лв
To Duel With the Hands of God James R Elliott / Книга С меки корици
common.buy 15.50 € 30.31 лв
Coffee Table Conversations Tina Divina / Книга С меки корици
common.buy 20.25 € 39.60 лв
Multivariate Statistical Analysis V.I. Serdobolskii / Книга С меки корици
common.buy 108.45 € 212.10 лв
Miscellanies Upon Various Subjects John Aubrey / Книга С меки корици
common.buy 14.26 € 27.88 лв
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Книга С меки корици
common.buy 22.73 € 44.45 лв
Alpha Jasinda Wilder / Книга С меки корици
common.buy 16.32 € 31.92 лв
How to Analyze People Ryan James / Книга С меки корици
common.buy 18.39 € 35.96 лв
Demographic Masculinization of China Isabelle Attané / Книга С твърди корици
common.buy 54.35 € 106.30 лв
Transcending Textuality Ariadna Garcia Bryce / Книга С меки корици
common.buy 47.89 € 93.67 лв

Вход

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

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

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

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

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