Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Tests and Proofs
- 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Engelsk Paperback
Tests and Proofs
- 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Engelsk Paperback

431 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.
Product detaljer
Sprog:
Engelsk
Sider:
209
ISBN-13:
9783319212142
Indbinding:
Paperback
Udgave:
ISBN-10:
3319212141
Udg. Dato:
1 jul 2015
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
1 jul 2015
Forfatter(e):
Andre har også købt
Kategori sammenhænge