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

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Integrated Formal Methods Erika Ábrahám
Код Либристо: 02975401
Издателство Springer International Publishing AG, май 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Цялото описание
? points 210 b
87.03 €
170.21  лв
Външен склад Изпращаме след 5-8 дни

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

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

Uebersetzung von deutschen zusammengesetzten Adjektiven ins Polnische anhand der Romane von Elfriede Jelinek Badstubner-Kizik Camilla Badstubner-Kizik / E-книга Adobe ePub DRM
common.buy 69.89 € 136.69 лв
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Книга С меки корици
common.buy 31.06 € 60.75 лв
Atrás Da Muralha / Книга С меки корици
common.buy 14.91 € 29.15 лв
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / E-книга Adobe ePub DRM
common.buy 17.34 € 33.91 лв
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Книга С меки корици
common.buy 26.56 € 51.94 лв
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Книга С меки корици
common.buy 28.52 € 55.79 лв
Изгодно
Poutine, maître du jeu ? Baud / Книга Книга
common.buy 23.81 € 46.57 лв
Entre chiens et loups Méndez / Книга С меки корици
common.buy 18.84 € 36.85 лв
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Книга С твърди корици
common.buy 21.64 € 42.32 лв
Du matériau à l'architecture László Moholy-Nagy / Книга С меки корици
common.buy 40.69 € 79.58 лв
Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Книга С меки корици
common.buy 13.56 € 26.52 лв
AMETS POLITAK IZAN, MAITEA AA VV / Книга С твърди корици
common.buy 8.74 € 17.10 лв
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Книга С меки корици
common.buy 162.36 € 317.55 лв
USA King Crimson Аудио Аудио компактдиск
common.buy 22.41 € 43.84 лв
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Книга С меки корици
common.buy 14.39 € 28.14 лв
Wild Hubert Krenn / Книга С твърди корици
common.buy 15.73 € 30.77 лв
Bettine von Arnim: Liedkompositionen Paul A Koch / Книга С меки корици
common.buy 16.10 € 31.48 лв

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.§The 33 papers§presented in this volume were carefully reviewed and selected from 99§submissions. They were organized in topical sections named: invited§contributions; program verification; probabilistic systems; concurrency; safety§and liveness; model learning; SAT and SMT solving; testing; theorem proving and§constraint satisfaction; case studies.§

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

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

Пълно заглавие Integrated Formal Methods
Автор Erika Ábrahám, Marieke Huisman
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2016
Брой страници 538
Баркод 9783319336923
ISBN 3319336924
Код Либристо 02975401
Издателство Springer International Publishing AG
Тегло 8248
Размери 155 x 235 x 29

Категории

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

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

Advances in Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Книга С твърди корици
common.buy 56.74 € 110.97 лв
Inhuman Relations Scott Becker / Книга С меки корици
common.buy 19.36 € 37.86 лв
Championship DNA Gideon Mulinge Mwololo / Книга С меки корици
common.buy 19.36 € 37.86 лв
Return to Social Justice Jessica Urwin / Книга С меки корици
common.buy 128.81 € 251.93 лв
Children's songs & nursery rhymes for easy piano. Vol 3. Tomeu Alcover / Книга С меки корици
common.buy 14.75 € 28.85 лв
A Soldier's Daughter (Illustrated) G. A. Henty / Книга С меки корици
common.buy 6.73 € 13.15 лв
History of the Fishes of the British Islands Jonathan Couch / Книга С меки корици
common.buy 24.59 € 48.09 лв
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Книга С меки корици
common.buy 35.51 € 69.46 лв
Submissionary Sherryle Kiser Jackson / Книга С меки корици
common.buy 14.85 € 29.05 лв
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Книга С твърди корици
common.buy 32.61 € 63.79 лв
Preparing for Blockade 1885-1914 COBB / Книга С меки корици
common.buy 82.58 € 161.50 лв
Housekeepers Handy Book Lucia Baxter / Книга С меки корици
common.buy 19.15 € 37.46 лв
Of Time and Tide Malleus Maleficarum Jr / Книга С меки корици
common.buy 13.15 € 25.71 лв
Подготвяме
International Law Reports E. LauterpachtC. J. Greenwood / Книга С твърди корици
common.buy 178.88 € 349.85 лв
14 Minutes Alberto Salazar / Книга С меки корици
common.buy 14.13 € 27.63 лв
Global Legal Pluralism Paul Schiff Berman / Книга С меки корици
common.buy 68.80 € 134.57 лв
Simple Solutions Ergonomics for Construction Workers - Scholar's Choice Edition Department of Health and Human Services / Книга С меки корици
common.buy 16.56 € 32.39 лв
Jack Wilshere - Arsenal DNA Joe Jacobs / Книга С твърди корици
common.buy 15.58 € 30.47 лв
Information Processing in Medical Imaging Alan C. F. Colchester / Книга С меки корици
common.buy 108.67 € 212.54 лв
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Книга С меки корици
common.buy 16.51 € 32.29 лв

Вход

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

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

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

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

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