Проверка на състоянието на поръчката
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.35 €
106.30  лв
Външен склад Изпращаме след 5-8 дни

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

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

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.27 € 86.59 лв
Подготвяме
Crimson Spell. Bd.5 Ayano Yamane / Книга С меки корици
common.buy 9.71 € 18.99 лв
Kunst Des 18. Jahrhunderts Edmond de Goncourt / Книга С меки корици
common.buy 46.13 € 90.23 лв
Dançando tango em Istambul Melis Merih Kiliç / Книга С меки корици
common.buy 47.06 € 92.05 лв
EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Книга binding.
common.buy 12.03 € 23.54 лв
Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont / Книга С меки корици
common.buy 32.34 € 63.25 лв
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann / Книга Лист
common.buy 11.26 € 22.02 лв
Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank / Книга С твърди корици
common.buy 114.85 € 224.63 лв
Recht und Energie Peter Rosin / Книга С твърди корици
common.buy 225.53 € 441.09 лв
Rivalen unter roter Sonne, 1 Blu-ray Terence Young / Видео Blu-ray
common.buy 14.46 € 28.29 лв
La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre / Книга С меки корици
common.buy 22.26 € 43.54 лв

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 Книгата ще пристигне на адреса на получателя

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

Safety of historical stone arch bridges Pieter Van Gelder / Книга С меки корици
common.buy 106.22 € 207.76 лв
Space groups (156) P3m1-(148) R-3 Pierre Villars / Книга С твърди корици
common.buy 595.83 € 1 165.34 лв
Progressive Development Arie S. Issar / Книга С меки корици
common.buy 108.45 € 212.10 лв
Tocqueville Khaled Mattawa / Книга С меки корици
common.buy 14.82 € 28.99 лв
Psychology of Crime, Policing and Courts Andreas Kapardis / Книга С твърди корици
common.buy 245.16 € 479.49 лв
Novels of Charles Lever V.1- The Confessions of Harry Lorrequer.., Volume 16 Charles Lever / Книга С твърди корици
common.buy 40.09 € 78.41 лв
Top
Stalin Edvard Radzinsky / Книга С меки корици
common.buy 16.53 € 32.33 лв
Blaze and Thunderbolt C. W. Anderson / Книга С меки корици
common.buy 8.42 € 16.46 лв
Inside Gitmo Gordon Cucullu / Книга С меки корици
common.buy 21.13 € 41.32 лв
Meetings with Remarkable Women Lenore Friedman / Книга С меки корици
common.buy 29.08 € 56.88 лв
Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text Elaine M. Weber / Книга С меки корици
common.buy 20.25 € 39.60 лв
Free Thoughts on Despotic and Free Governments Joseph Townsend / Книга С твърди корици
common.buy 34.41 € 67.29 лв
Racism, Culture, Markets John Gabriel / Книга С твърди корици
common.buy 292.33 € 571.75 лв
Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life Angee Barcus / Книга С меки корици
common.buy 13.02 € 25.46 лв
Exponential Families of Stochastic Processes Uwe Küchler / Книга С твърди корици
common.buy 162.54 € 317.91 лв
Mentalizing in Arts Therapies Marianne Verfaille / Книга С твърди корици
common.buy 212.09 € 414.82 лв
Learn Power BI Greg Deckler / Книга С меки корици
common.buy 44.89 € 87.81 лв
Awakening Power Sat Dharma / Книга С меки корици
common.buy 15.75 € 30.81 лв
Broadtube Music Mag - Volume 28: Music Mag 28 Olamide Ayodeji Kolade / Книга С меки корици
common.buy 10.33 € 20.20 лв
Dangerous Language ? Esperanto under Hitler and Stalin Humphrey Tonkin / Книга С меки корици
common.buy 122.96 € 240.50 лв
Global Business Strategy Cornelis A. de Kluyver / Книга С меки корици
common.buy 28.98 € 56.68 лв
Of Lands High and Low Martha Keyes / Книга С меки корици
common.buy 13.07 € 25.56 лв
Fly ash for water and wastewater treatment Md. Ahmaruzzaman / Книга С меки корици
common.buy 41.43 € 81.04 лв
Elegies. William Mason / Книга С меки корици
common.buy 12.65 € 24.75 лв

Вход

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

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

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

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

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