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

Tests and Proofs

9th International Conference, TAP 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 22-24, 2015. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Tests and Proofs Jasmin Christian Blanchette
Код Либристо: 09361553
Издателство Springer International Publishing AG, юни 2015
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proo... Цялото описание
? points 127 b
52.38 €
102.45  лв
Външен склад Изпращаме след 5-8 дни

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

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

Gannibal 6 Masaaki Ninomiya / Книга С меки корици
common.buy 9.17 € 17.93 лв
Algorytmika praktyczna Stańczyk Piotr / Книга С меки корици
common.buy 33.42 € 65.36 лв
Chancen und Risiken im Category Management beim Aufbau einer Bio-Handelsmarke in der Drogeriebranche Philipp Voshege / Книга С меки корици
common.buy 45.39 € 88.77 лв
Nevyřešené záhady Egypta Magdalena Zachardová / Книга С твърди корици
common.buy 11.81 € 23.10 лв
Hameleony Gennadij Murzin / Книга С меки корици
common.buy 42.43 € 82.99 лв
Salin Kaliske Helene Böhlau / Книга С меки корици
common.buy 34.97 € 68.40 лв
Mesačná víla Samuel Salay / Книга С твърди корици
common.buy 4.61 € 9.01 лв
Enchantimals 01 - Au secours de Felicity ! Mattel / Книга С меки корици
common.buy 9.63 € 18.84 лв
Dikkat Kan Araniyor Zehra Ebrar Bakir / Книга С меки корици
common.buy 11.81 € 23.10 лв
Préhistoires d'Europe Lehoerff anne / Книга Книга
common.buy 34.71 € 67.89 лв
Comptines pour se relaxer Gilles Diederichs / Книга С меки корици
common.buy 18.86 € 36.88 лв
Guarda Rural. Temario común para todas las modalidades Formación y Especialización en Seguridad (FYES) / Книга С меки корици
common.buy 38.34 € 74.99 лв
LES AVISOS DRAGUEURS DE 630 TW DU TYPE 'ELAN' - Vol. 1. GARIER / Книга С твърди корици
common.buy 61.30 € 119.88 лв

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency, and validation, among others. Many papers rely on interactive and automatic§theorem provers, including SMT solvers and model checkers.

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

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

Пълно заглавие Tests and Proofs
Автор Jasmin Christian Blanchette, Nikolai Kosmatov
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 209
Баркод 9783319212142
ISBN 3319212141
Код Либристо 09361553
Издателство Springer International Publishing AG
Тегло 3577
Размери 155 x 235 x 14

Категории

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

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

Knowledge-Based Software Engineering: 2020 Hiroyuki Nakagawa / Книга С твърди корици
common.buy 217.21 € 424.84 лв
It Will Never Happen to Me: Growing Up with Addiction as Youngsters, Adolescents, and Adults Claudia Black / Книга С меки корици
common.buy 14.30 € 27.96 лв
Bonereapers Jeanne Matthews / Книга С меки корици
common.buy 18.65 € 36.47 лв
Larry Cohen Michael Doyle / Книга С твърди корици
common.buy 52.59 € 102.86 лв
Republic of Korea Health System Review Who Regional Office for the Western Paci / Книга С меки корици
common.buy 26.53 € 51.88 лв
Beastwalker Gama Ray Martinez / Книга С меки корици
common.buy 13.05 € 25.53 лв
Travels Through Central Africa to Timbuctoo and Across the Great Desert to Morocco, Performed in the Years 1824-28 Rene Caillie / Книга С твърди корици
common.buy 69.12 € 135.19 лв
Policy-based Computing with SELINUX Nwamaka U. Okafor / Книга С меки корици
common.buy 34.09 € 66.68 лв
Three Craws Melanie Mitchell / Книга Дипляна
common.buy 8.18 € 16.00 лв
Bantu Prophets in South Africa Bengt G. M. Sundkler / Книга С меки корици
common.buy 52.49 € 102.65 лв
Подготвяме
Department of Defense Posture for Artificial Intelligence William Shelton / Книга С меки корици
common.buy 29.79 € 58.26 лв
Coloring Book - I Spy: Coloring Book for Kids Ages 2-5 Year _ A Fun Guessing Game for Kids Dolly Bond School / Книга С меки корици
common.buy 6.73 € 13.17 лв
Beautiful Book for Little Children John L Shorey / Книга С меки корици
common.buy 16.16 € 31.61 лв
Ultimate Baby Food Cookbook Jayson Young / Книга С меки корици
common.buy 9.43 € 18.44 лв
Passage Justin Cronin / E-книга Adobe ePub DRM
common.buy 4.61 € 9.01 лв
Autodesk CFD 2023 Black Book Matt Weber / Книга С твърди корици
common.buy 73.47 € 143.70 лв
Cultural History of the Chinese Character "Ta ( , She)" Huang Xingtao / Книга С твърди корици
common.buy 209.49 € 409.74 лв
The World Almanac and Book of Facts 2024 Janssen / Книга С твърди корици
common.buy 33.88 € 66.27 лв
Recovery of degraded areas Bruno M. Araújo / Книга С меки корици
common.buy 37.82 € 73.97 лв
Postanarchism and Critical Art Practices Tihomir Topuzovski / Книга С твърди корици
common.buy 127.62 € 249.61 лв
Still Life Burke / Книга С твърди корици
common.buy 22.43 € 43.87 лв
20 Underwater Kingdom Bedtime Stories For Kids Age 3 - 8 Blume Potter / Книга С твърди корици
common.buy 27.92 € 54.62 лв
CCST Cisco Certified Support Technician Study Guide Todd Lammle / E-книга Adobe ePub DRM
common.buy 60.57 € 118.46 лв
Lore of the Tides Analeigh Sbrana / Книга С меки корици
common.buy 11.50 € 22.49 лв

Вход

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

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

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

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

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