Please click here for information on incomplete orders placed before 03 July 2024

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

By: Catherine Dubois (Editor), Burkhart Wolff (Editor)

Write A Review

eBook | 6 July 2018

Sorry, we are not able to source the ebook you are looking for right now.

We did a search for other ebooks with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your ebook.

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.

on

You Can Find This eBook In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Programming & Scripting Languages Computer Security Data Encryption Mathematics Mathematical Foundation Mathematical Logic Computer Science Compilers & Interpreters

Education Careers Guidance

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

on

You Can Find This eBook In

This product is categorised by