Menu
Află starea comenzii
Contactați-ne
Carte 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
Limbă: engleză
Legare: Carte broșată
Editura: Springer International Publishing AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.36 lei
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Pro...

Informații despre carte

Autor
Catherine Dubois, Burkhart Wolff
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2018
Pagini
185
EAN
9783319929934
ISBN
3319929933
Enbook ID
19406924
Editura
Springer International Publishing AG
Greutate
314
Dimensiuni
155 x 235 x 12

Descriere completă

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.

S-ar putea să te intereseze

Journey to Antipodes

Jay C Bugg
105.08 lei

Let Rome Fall

WENDY ROMAN
57.72 lei

Reward for High Public Office

Barbara Nunberg
398.88 lei

The Big Adios: Western Digest

Jim Wilsky
45.33 lei

Ancient Egypt 500-Piece Puzzle

Albert Racinet
109.91 lei

Clienții care au cumpărat această carte au mai cumpărat și

Bývalý cizinec

Valentin Popov
27.50 lei

Analisis de la realidad socioeconomica en Chile

Benjamín Israel Navon
115.36 lei

La Chute d'Albert Camus

Nathalie Ginestier
139.74 lei

280 huiles essentielles (Poche)

Michel Dogna
69.01 lei

Ffordd Beryglus, Y

T. Llew Jones
36.66 lei

Ombres chinoises

Petit Guide
17.42 lei