Книга Tests and Proofs Catherine Dubois

Tests and Proofs

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

Език: Английски език
Корици: С меки корици
Наличност: Външен склад
Изпращаме след 5-8 дни
52.84 103.34 лв
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Pro...

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

Език
Английски език
Корици
Книга - С меки корици
Издадена
2018
страници
185
EAN
9783319929934
ISBN
3319929933
Enbook ID
19406924
Теглоt
314
Размери
155 x 235 x 12

Пълно описание

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.

Може също да ви хареса

18.88 36.93 лв

Let Rome Fall

WENDY ROMAN
10.54 20.62 лв
73.03 142.84 лв
8.28 16.20 лв
21.95 42.92 лв

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

Bývalý cizinec

Valentin Popov
5.52 10.80 лв
22.10 43.22 лв

La Chute d'Albert Camus

Nathalie Ginestier
26.72 52.26 лв
13.76 26.91 лв

Ffordd Beryglus, Y

T. Llew Jones
7.38 14.43 лв

Ombres chinoises

Petit Guide
3.51 6.87 лв