Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Verified Software. Theories, Tools, and Experiments
- 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Engelsk Paperback

Verified Software. Theories, Tools, and Experiments

- 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Engelsk Paperback

441 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.
The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

Product detaljer
Sprog:
Engelsk
Sider:
193
ISBN-13:
9783030415990
Indbinding:
Paperback
Udgave:
ISBN-10:
3030415996
Udg. Dato:
14 mar 2020
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer Nature Switzerland AG
Oplagsdato:
14 mar 2020
Forfatter(e):
Oversætter:
Finder produkter...
Kategori sammenhænge