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

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Tests and Proofs Dirk Beyer
Код Либристо: 24519984
Издателство Springer Nature Switzerland AG, септември 2019
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Pro... Цялото описание
? points 132 b
54.34 €
106.28  лв
Външен склад Изпращаме след 5-8 дни

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

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

Die Welt der Schlümpfe - Die Ferienschlümpfe. Bd.7 Max Murmel / Книга С твърди корици
common.buy 13.53 € 26.46 лв
Disney MM Refresh Core, Mickey, 25cm / Игра/играчка Игра
common.buy 14.98 € 29.29 лв
Les miznúcich hviezd Kristin Harmelová / Книга С твърди корици
common.buy 16.37 € 32.02 лв
Prévenir l'infarctus et l'accident vasculaire cérébral Michel de Lorgeril / Книга С меки корици
common.buy 34.71 € 67.88 лв
Neuere Anschauungen Auf Dem Gebiete Der Anorganischen Chemie (1920) Alfred Werner / Книга С меки корици
common.buy 38.22 € 74.75 лв
Planeet Vet / Книга С меки корици
common.buy 21.38 € 41.82 лв
Visión, La GABRIEL HERNANDEZ / Книга С меки корици
common.buy 18.80 € 36.77 лв
Einheitlichkeit der paulinischen Briefe an der Hand CARL CLEMEN / Книга С меки корици
common.buy 17.97 € 35.15 лв
Indonézia Baričák Pavel "Hirax" / Книга С твърди корици
common.buy 15.39 € 30.10 лв
Tanrilar Okulu Stefano E. D´Anna / Книга С меки корици
common.buy 26.39 € 51.62 лв
Le Theatre Francais, Mademoiselle Georges-Weimer Et l'Odeon Ferdinand De Laboullaye / Книга С меки корици
common.buy 13.68 € 26.76 лв
Antropologie Dan Rhodes / Книга С меки корици
common.buy 7.49 € 14.64 лв
Die UdSSR und die deutsche Frage 1941-1948. Jochen P. Laufer / Книга С твърди корици
common.buy 99.18 € 193.97 лв

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 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.

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

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

Пълно заглавие Tests and Proofs
Автор Dirk Beyer, Chantal Keller
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2019
Брой страници 207
Баркод 9783030311568
Код Либристо 24519984
Издателство Springer Nature Switzerland AG
Тегло 454
Размери 155 x 235 x 13

Категории

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

art of Anatole France Dushan Bresky / Книга С твърди корици
common.buy 114.83 € 224.59 лв
The Liberty Bell Mary Firestone / Книга С меки корици
common.buy 10.17 € 19.89 лв
Hypnotism in Mental and Moral Culture John Duncan Quackenbos / Книга С твърди корици
common.buy 45.71 € 89.40 лв
Living or Dead Labor Unions .. Caroline Nelson / Книга С твърди корици
common.buy 26.86 € 52.53 лв
Bertha, Our Little German Cousin Mary Hazelton Blanchard Wade / Книга С меки корици
common.buy 16.01 € 31.31 лв
Global Future of Higher Education and the Academic Profession Philip G. Altbach / Книга С меки корици
common.buy 111.78 € 218.63 лв
Virtual Point of Freedom Lorenzo Chiesa / Книга С меки корици
common.buy 41.11 € 80.41 лв
This Is Your Mind On Plants Michael Pollan / Аудиокнига MP3
common.buy 12.03 € 23.53 лв
Diversity in Career Preferences For Future Health Workers in Rwanda World Bank / Книга С меки корици
common.buy 18.85 € 36.87 лв
Americanization/Westernization of Austria Anton Pelinka / Книга С меки корици
common.buy 75.10 € 146.89 лв
Optical Bistability III Hyatt M. Gibbs / Книга С меки корици
common.buy 108.42 € 212.06 лв
Formation Of The Republican Party As A National Political Organization (1911) Saul Philip Kleeberg Gordon / Книга С меки корици
common.buy 28.77 € 56.26 лв
Molecular Processes in Plasmas Yukikazu Itikawa / Книга С меки корици
common.buy 108.42 € 212.06 лв

Вход

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

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

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

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

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