Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha 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

Autor: Catherine Dubois, Burkhart Wolff
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer International Publishing AG
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.13 €
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Pro...

Informácie o knihe

Autor
Catherine Dubois, Burkhart Wolff
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2018
Stránok
185
EAN
9783319929934
ISBN
3319929933
Enbook ID
19406924
Vydavateľ
Springer International Publishing AG
Hmotnosť
314
Rozmery
155 x 235 x 12

Kompletný popis

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.

Mohlo by vás zaujímať

Journey to Antipodes

Jay C Bugg
17.75 €

Let Rome Fall

WENDY ROMAN
10.00 €

Reward for High Public Office

Barbara Nunberg
69.76 €

The Big Adios: Western Digest

Jim Wilsky
7.84 €

Ancient Egypt 500-Piece Puzzle

Albert Racinet
20.99 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Bývalý cizinec

Valentin Popov
5.41 €

Analisis de la realidad socioeconomica en Chile

Benjamín Israel Navon
20.79 €

La Chute d'Albert Camus

Nathalie Ginestier
25.21 €

280 huiles essentielles (Poche)

Michel Dogna
13.24 €

Ffordd Beryglus, Y

T. Llew Jones
7.06 €

Ombres chinoises

Petit Guide
3.33 €