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

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Integrated Formal Methods Einar Broch Johnsen
Код Либристо: 01663776
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 2013
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo... Цялото описание
? points 132 b
54.39 €
106.39  лв
Външен склад Изпращаме след 5-8 дни

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

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

EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Книга binding.
common.buy 11.84 € 23.15 лв
Dançando tango em Istambul Melis Merih Kiliç / Книга С меки корици
common.buy 44.52 € 87.07 лв
The Other Side of Sadness Tripsitter Аудио Аудио плоча
common.buy 27.45 € 53.69 лв
LEIBNIZ. Las matemáticas del mejor mundo posible MANUEL GARCIA PIQUERAS / Книга С меки корици
common.buy 26.94 € 52.68 лв
Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat / Книга С меки корици
common.buy 44.10 € 86.26 лв
Mallorca a mitjan segle XV : el sindicat i l'alçament for? / Книга С меки корици
common.buy 34.49 € 67.45 лв
gatto del Dalai Lama e il potere del miao David Michie / Книга С твърди корици
common.buy 24.56 € 48.03 лв
Happydemia Giacomo Papi / Книга С меки корици
common.buy 17.94 € 35.08 лв
Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont / Книга С меки корици
common.buy 32.21 € 63.00 лв
Manekýna Sofie Králová / Книга Книга
common.buy 12.25 € 23.96 лв
Recht und Energie Peter Rosin / Книга С твърди корици
common.buy 225.61 € 441.25 лв
Rivalen unter roter Sonne, 1 Blu-ray Terence Young / Видео Blu-ray
common.buy 14.42 € 28.21 лв
La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre / Книга С меки корици
common.buy 22.18 € 43.38 лв
Pies ktory kochal zbyt mocno Nicholas Dodman / Книга С меки корици
common.buy 8.73 € 17.08 лв
Beitraege Zur Rezeptions- Und Wirkungsgeschichte Der Volkserzaehlung Leander Petzoldt / Книга С меки корици
common.buy 138.37 € 270.63 лв
Die Geschichte von der 1002. Nacht, 8 Audio-CD Joseph Roth / Аудио Аудио компактдиск
common.buy 42.50 € 83.13 лв
Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank / Книга С твърди корици
common.buy 125.39 € 245.25 лв
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann / Книга Лист
common.buy 10.75 € 21.03 лв
Kunst Des 18. Jahrhunderts Edmond de Goncourt / Книга С меки корици
common.buy 46.12 € 90.20 лв
Подготвяме
Crimson Spell. Bd.5 Ayano Yamane / Книга С меки корици
common.buy 9.66 € 18.90 лв

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

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

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

Пълно заглавие Integrated Formal Methods
Автор Einar Broch Johnsen, Luigia Petre
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 443
Баркод 9783642386121
ISBN 3642386121
Код Либристо 01663776
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 700
Размери 155 x 235 x 26

Категории

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

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

Space groups (156) P3m1-(148) R-3 Pierre Villars / Книга С твърди корици
common.buy 596.27 € 1 166.21 лв
Progressive Development Arie S. Issar / Книга С меки корици
common.buy 108.54 € 212.28 лв
Safety of historical stone arch bridges Pieter Van Gelder / Книга С меки корици
common.buy 100.73 € 197.01 лв
Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life Angee Barcus / Книга С меки корици
common.buy 13.03 € 25.48 лв
Stalin Edvard Radzinsky / Книга С меки корици
common.buy 16.54 € 32.35 лв
Blaze and Thunderbolt C. W. Anderson / Книга С меки корици
common.buy 8.42 € 16.48 лв
Inside Gitmo Gordon Cucullu / Книга С меки корици
common.buy 21.14 € 41.36 лв
Meetings with Remarkable Women Lenore Friedman / Книга С меки корици
common.buy 29.11 € 56.93 лв
Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text Elaine M. Weber / Книга С меки корици
common.buy 20.27 € 39.64 лв
Fly ash for water and wastewater treatment Md. Ahmaruzzaman / Книга С меки корици
common.buy 41.47 € 81.10 лв
Anji's Story (Individual stories from WISH YOU WERE HERE!, Book 6) Lynn Russell / E-книга Adobe ePub DRM
common.buy 6.92 € 13.54 лв
Of Lands High and Low Martha Keyes / Книга С меки корици
common.buy 13.08 € 25.58 лв
Free Thoughts on Despotic and Free Governments Joseph Townsend / Книга С твърди корици
common.buy 34.43 € 67.35 лв
Pigeons Penguins Post Turtles: And Other Lousy Managers Wesley Miller / Книга С меки корици
common.buy 13.03 € 25.48 лв
365 Worksheets - Find Predecessor and Successor of 3 Digit Numbers: Math Practice Workbook Kapoo Stem / Книга С меки корици
common.buy 14.84 € 29.02 лв
Racism, Culture, Markets John Gabriel / Книга С твърди корици
common.buy 307.16 € 600.75 лв
Exponential Families of Stochastic Processes Uwe Küchler / Книга С твърди корици
common.buy 162.68 € 318.17 лв
Gospel Culture: The Cultural Markings of a Christ-Centered Church David S Jung / Книга С меки корици
common.buy 10.34 € 20.22 лв
Value of Systems and Complexity Sciences for Healthcare JOACHIM P STURMBERG / Книга С меки корици
common.buy 108.54 € 212.28 лв
Global Business Strategy Cornelis A. de Kluyver / Книга С меки корици
common.buy 29.00 € 56.73 лв
Tocqueville Khaled Mattawa / Книга С меки корици
common.buy 14.73 € 28.81 лв
Mentalizing in Arts Therapies Marianne Verfaille / Книга С твърди корици
common.buy 251.67 € 492.23 лв
Learn Power BI Greg Deckler / Книга С меки корици
common.buy 44.93 € 87.88 лв
Awakening Power Sat Dharma / Книга С меки корици
common.buy 15.77 € 30.84 лв

Вход

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

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

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

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

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