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

Verified Software: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Verified Software: Theorie, Tools, Experiments Ernie Cohen
Код Либристо: 02433185
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, януари 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International... Цялото описание
? points 132 b
54.51 €
106.61  лв
Външен склад Изпращаме след 5-8 дни

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

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

Top
Dibujos para colorear, ?qué misterio! Peque?as princesas Vv.Aa.3 / Книга С меки корици
common.buy 14.35 € 28.06 лв
Dance & love. La mia musica, la mia vita Gabry Ponte / Книга С твърди корици
common.buy 21.55 € 42.15 лв
Power Query w Excelu i Power BI. Zbieranie i przekształcanie danych Daniil Maslyuk / Книга С меки корици
common.buy 21.65 € 42.35 лв
The Assent Unterwirf dich der Dunkelheit, 1 Blu-ray Pearry Reginald Teo / Видео Blu-ray
common.buy 18.03 € 35.26 лв
Kolorowanka. Kraina baśni. Wydanie 2022 Mariola Budek / Книга С меки корици
common.buy 4.19 € 8.20 лв
Compras en Minutos Anthony Barrios / Книга С меки корици
common.buy 7.61 € 14.89 лв
Une touche de bleu - Tome 04 Nozomi Suzuki / Книга С меки корици
common.buy 12.17 € 23.81 лв
Kalangu Obonete S. Ubam / Книга С твърди корици
common.buy 4.14 € 8.10 лв
Consequencias clinicas da transmissao vertical de sifilis Claudio Quinan Balestrin Neto / Книга С меки корици
common.buy 31.24 € 61.10 лв
SoC-basierte Erprobungsplattform fur CCD-Kameras mit Channel Link IF Ramin Jeyrani-Mameghani / Книга С меки корици
common.buy 52.64 € 102.96 лв
El Castigador: Círculo de Sangre TSUMOTU NIHEI / Книга С меки корици
common.buy 23.73 € 46.41 лв
Los musicatos: Y la caja de música ISABEL ASENSI LIDON / Книга С меки корици
common.buy 12.90 € 25.22 лв
Vybrané kapitoly z klinické výživy II. Pavel Kohout / Книга С меки корици
common.buy 7.92 € 15.50 лв
Top
Mettere in scena l'arte contemporanea. Dallo spazio dell'opera allo spazio intorno all'opera Francesco Bernardelli / Книга С меки корици
common.buy 28.86 € 56.44 лв
Auswanderung der protestantisch gesinnten Salzburger in den Jahren 1731 und 1732 Ludwig Clarus / Книга С меки корици
common.buy 37.82 € 73.97 лв

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.

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

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

Пълно заглавие Verified Software: Theorie, Tools, Experiments
Автор Ernie Cohen, Andrey Rybalchenko
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 345
Баркод 9783642541070
ISBN 3642541070
Код Либристо 02433185
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 5504
Размери 155 x 235 x 20

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

The Palgrave Handbook of Experimental Cinema Jonathan Walley / Книга С меки корици
common.buy 112.13 € 219.30 лв
On Legitimacy in Global Governance Soren Hilbrich / Книга С меки корици
common.buy 123.32 € 241.20 лв
HBR's 10 Must Reads on Strategy (including featured article &quote;What Is Strategy?&quote; by Michael E. Porter) Harvard Business Review / E-книга Adobe ePub DRM
common.buy 30.72 € 60.09 лв
Jane Austen: What Is Right To Be Done Memo Cube Insight Editions / Книга С меки корици
common.buy 15.13 € 29.58 лв
Wytch Wars Sharon Anne Guthrie / Книга С меки корици
common.buy 10.36 € 20.26 лв
Belinda Maria Edgeworth / Книга С меки корици
common.buy 11.34 € 22.18 лв
Low Carb Good Fat Support Group Edition MR Daniel Vincent / Книга С меки корици
common.buy 6.58 € 12.86 лв
WHERE I NEED TO BE Kimberly Knight / Книга С меки корици
common.buy 14.87 € 29.08 лв
The Turtle Ship Helena Ku Rhee / Книга С твърди корици
common.buy 19.17 € 37.49 лв
Подготвяме
Living in Provence René Stoeltie / Книга С твърди корици
common.buy 21.03 € 41.14 лв
What's my name? NEO Tiina Walsh / Книга С меки корици
common.buy 14.92 € 29.18 лв
Learn from Me Fr Con Buckley / Книга С меки корици
common.buy 30.31 € 59.28 лв
Live Successfully! Book No. 7 - How to Make Friends and be Persuasive Anon / Книга С меки корици
common.buy 14.61 € 28.57 лв
Philosophical Issues in Pharmaceutics Dien Ho / Книга С твърди корици
common.buy 108.76 € 212.72 лв
Kcd Boulet/Animal Spirit Susan Seddon Boulet / Печатни материали Карти
common.buy 11.81 € 23.10 лв
Heirs of Salvation Gloria Laura Lavoie / Книга С меки корици
common.buy 13.36 € 26.14 лв
Time-Frequency Analysis and Synthesis of Linear Signal Spaces Franz Hlawatsch / Книга С меки корици
common.buy 183.95 € 359.77 лв
Religion and State in the American Jewish Experience Jonathan D. Sarna / Книга С твърди корици
common.buy 104.98 € 205.32 лв
Gentry Leaders In Peace And War Mary Wolffe / Книга С твърди корици
common.buy 131.46 € 257.11 лв
Cincinnati Day Trips Jennifer Renee Reed / Книга С меки корици
common.buy 19.48 € 38.10 лв
Rome Franco Archibugi / Книга С меки корици
common.buy 67.05 € 131.13 лв
Look Back with Longing Suzanne Morris / Книга С меки корици
common.buy 20.20 € 39.52 лв
Young Ladies Conduct John. Essex / Книга С меки корици
common.buy 23.00 € 44.99 лв
New Initiatives On Lepton Flavor Violation And Neutrino Oscillation With High Intense Muon And Neutrino Sources William R Molzon / Книга С твърди корици
common.buy 144.57 € 282.75 лв

Вход

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

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

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

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

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