Verified Software. Theories, Tools, and Experiments: 9th...

Main
Computers
Verified Software. Theories, Tools, and...

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Name: Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
ISBN: 9783319723082

Andrei Paskevich, Thomas Wies (eds.)

0 / 0

0 comments

دا کتاب تاسو ته څنګه خواښه شوه؟

د بار شوي فایل کیفیت څه دئ؟

تر څو چې د کتاب کیفیت آزمایښو وکړئ، بار ئې کړئ

د بار شوو فایلونو کیفیتی څه دئ؟

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.
The 12 full papers presented were carefully revised and selected from 20 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.

درجه (قاطیغوری(:

Computers

کال:

2017

خپرونه:

خپرندویه اداره:

Springer International Publishing

ژبه:

english

صفحه:

223

ISBN 10: