Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 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 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Catherine Dubois

Burkhart Wolff

Език

Английски език

Книга С меки корици

Код Либристо: 19406924

Издателство Springer International Publishing AG, юни 2018

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Pro... Цялото описание

Код Либристо: 19406924

132 b

54.47 €

106.54 лв

Външен склад Изпращаме след 5-8 дни

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

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

Bývalý cizinec Valentin Popov

С меки корици

5.69 € 11.13 лв

Analisis de la realidad socioeconomica en Chile Benjamín Israel Navon

С меки корици

22.78 € 44.55 лв

La Chute d'Albert Camus Nathalie Ginestier

С меки корици

27.54 € 53.87 лв

280 huiles essentielles (Poche) Michel Dogna

С меки корици

14.18 € 27.74 лв

Ffordd Beryglus, Y T. Llew Jones

Adobe ePub DRM

7.61 € 14.88 лв

Ombres chinoises Petit Guide

Adobe ePub DRM

3.62 € 7.08 лв

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.