Проверка на състоянието на поръчката
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Как се пазарува?
Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Verified Software. Theories, Tools, and Experiments Ruzica Piskac
Код Либристо: 20392651
Издателство Springer Nature Switzerland AG, ноември 2018
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th Internationa... Цялото описание
? points 132 b
54.09 €
105.80  лв
Външен склад Изпращаме след 5-8 дни

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

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

Mon grand livre-jeu des pirates / Книга С твърди корици
common.buy 21.13 € 41.33 лв
PoesÃ-as / Книга С твърди корици
common.buy 30.55 € 59.76 лв
Proektirowanie i razrabotka prototipa äkologicheski chistogo ochistitelq wozduha Mukesh Kumar / Книга С меки корици
common.buy 18.76 € 36.70 лв
Analisi fisionomica del bosco di Hornos de Cal. Abel Hernandez - Muñoz / Книга С меки корици
common.buy 41.29 € 80.75 лв
Posca akrylový popisovač PC-3ML, 0,9 - 1,3 mm, třpytivě modrá (tenký kulatý hrot) / Книга binding.
common.buy 3.08 € 6.02 лв
Der Geistliche Führer, oder Unterricht ueber das Gebet, die Betrachtung und Beschauung, ueber die heimsuchungen Gottes und die außerordentlichen Gnade Magnus Jocham / Книга С твърди корици
common.buy 36.15 € 70.70 лв
Maregelvollzugsrecht Heinz Kammeier / E-книга Adobe ePub DRM
common.buy 185.30 € 362.42 лв
Eve Curie Monteil Claudine Monteil / E-книга Adobe ePub DRM
common.buy 18.93 € 37.02 лв
Zaubereien mit Luftballons Linda Perina / Книга С меки корици
common.buy 8.22 € 16.08 лв
Les conséquences sanitaires des eaux de crue sur la vie des habitants des bidonvilles Bulli Dibba / Книга С меки корици
common.buy 41.29 € 80.75 лв
Region und Unitarische Struktur in Grossbritannien / Regionalism and Unitary Structure in Great Britain P. Malanczuk / Книга С меки корици
common.buy 70.70 € 138.28 лв
El don de perdonar Clara Govela / Книга С меки корици
common.buy 7.61 € 14.88 лв
Soporte vital básico. SANT0208 - Transporte sanitario Carmona Romera / Книга С меки корици
common.buy 40.47 € 79.14 лв
Sitges Yeye. Recull gràfic 1960-1979 Sierra / Книга С твърди корици
common.buy 217.57 € 425.53 лв
El cervell huma PABLO BARRECHEGUREN / Книга С меки корици
common.buy 26.79 € 52.39 лв
20 sur 20 en anglais. 2e édition (avec fichiers audio) Nantet / Книга С меки корици
common.buy 15.99 € 31.27 лв
Bibliographie De L'Histoire De Beligique (1902) Henri Pirenne / Книга С твърди корици
common.buy 44.65 € 87.33 лв
Dirección de empresas : bases en un entorno abierto y dinámico José Cabanelas Omil / Книга С меки корици
common.buy 52.50 € 102.68 лв
Kitchen Banana Yoshimoto / Книга С меки корици
common.buy 17.53 € 34.29 лв
Weihnachtsbluten in Sitte und Sage Wilhelm Mannhardt / Книга С меки корици
common.buy 17.02 € 33.28 лв
Pracownia instalacji elektrycznych Kwalifikacja E.8 Technik elektryk elektryk Stanislaw Karasiewicz / Книга С меки корици
common.buy 21.95 € 42.94 лв
Biographie Des K.K. Feldmarschall Josef Graf Radetzky Von Hradetz Alois Ritter von Haymerle / Книга С твърди корици
common.buy 26.75 € 52.31 лв
Thiergeschichten: Erzählungen Und Schilderungen Aus Dem Leben Der Thiere Karl Oppel / Книга С меки корици
common.buy 31.43 € 61.47 лв
Une analyse de la biopolitique apr?s la révolution moléculaire Juan David Betancourt Ramirez / Книга С меки корици
common.buy 58.05 € 113.54 лв

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

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

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

Пълно заглавие Verified Software. Theories, Tools, and Experiments
Автор Ruzica Piskac, Philipp Rümmer
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2018
Брой страници 345
Баркод 9783030035914
Код Либристо 20392651
Издателство Springer Nature Switzerland AG
Тегло 557
Размери 155 x 235 x 20

Категории

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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 > Systems analysis & design
Computing & Information Technology > Information technology: general issues
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Crayola (R) Insect Colors / Книга С меки корици
common.buy 9.31 € 18.20 лв
Bad Governance and Corruption Richard Rose / Книга С меки корици
common.buy 50.24 € 98.25 лв
Cats Dogs & Unicorns Oh My: Primary School Story Book Journals Are Fun / Книга С меки корици
common.buy 7.56 € 14.78 лв
Soccer Mastery Chest Dugger / Книга С твърди корици
common.buy 34.35 € 67.18 лв
John Keats John Barnard / Книга С меки корици
common.buy 51.47 € 100.67 лв
Ion Chromatography James S. Fritz / Книга С твърди корици
common.buy 198.49 € 388.22 лв
The Reluctant Dragon Kenneth Grahame / Книга С меки корици
common.buy 8.69 € 16.99 лв
Human Aura WILLIAM WA ATKINSON / Книга С твърди корици
common.buy 28.54 € 55.81 лв
The Wisdom of Solomon 1917 W. O. E. Oesterley / Книга С твърди корици
common.buy 35.23 € 68.91 лв
Mental Dynamics: Or Groundwork Of A Professional Education (1847) Joseph Henry Green / Книга С меки корици
common.buy 21.14 € 41.34 лв
A Song Of Labor, And Other Poems (1873) Alexander Anderson / Книга С меки корици
common.buy 26.75 € 52.31 лв
Death of All Life on Earth Don McComber / Книга С меки корици
common.buy 15.27 € 29.86 лв
British Civic Society at the End of Empire Anna Bocking-Welch / Книга С меки корици
common.buy 39.23 € 76.73 лв
les Cles de la PNL ROMAIN MARY / Книга С меки корици
common.buy 18.46 € 36.10 лв
Ideology in U.S. Foreign Relations Christopher Nichols / Книга С меки корици
common.buy 46.64 € 91.21 лв
Understanding Forensic DNA Suzanne Bell / Книга С меки корици
common.buy 13.83 € 27.05 лв
Подготвяме
Best of Classic Driver J Philip Rathgen / Книга С твърди корици
common.buy 77.59 € 151.76 лв
Изгодно
Mama's Sleeping Scarf Chimamanda Ngozi Adichie / Книга С меки корици
common.buy 2.62 € 5.12 лв
International Primary Computing Teacher’s Guide: Stage 2 Dr Tracy Gardner / Книга С меки корици
common.buy 74.69 € 146.09 лв
Women Who Rock, Pop, and Hip-Hop! / Игра/играчка Игра
common.buy 31.02 € 60.66 лв
Matrix (1-2) David Miller / Книга С меки корици
common.buy 13.52 € 26.44 лв
Top
Girl Moments Coco Wyo / Книга С меки корици
common.buy 7.66 € 14.98 лв
Spencer Roane Mariam T. Tennoe / Книга С меки корици
common.buy 127.32 € 249.02 лв
Ruined by the Marquess: A Forced Marriage Historical Romance Paige Parker / Книга С меки корици
common.buy 8.48 € 16.59 лв

Вход

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

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

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

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

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