Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
verification programming » specification programming, identification programming, verification program
program verification » formal verification
programming python » programming method, programming methods, programming without
python tutorial » method tutorial, action tutorials, python numerical
tutorial https » tutorial atas, tutorial attacks
verification programming » specification programming, identification programming, verification program
program verification » formal verification
programming python » programming method, programming methods, programming without
python tutorial » method tutorial, action tutorials, python numerical
tutorial https » tutorial atas, tutorial attacks
1
Published 2013
Table of Contents:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”View full text
Electronic
eBook
