Temes suggerits dins de la cerca
Alternatives de cerca:
verification computing » verification computation, modifications computing, verification capturing
program verification » formal verification
program python » program path, program paths, program potong
python program » python programs, action program, python programming
https » http
1
Imatge de la portada
Publicat 2013
Taula de continguts: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
Obtenir text complet
Electrònic eBook
Afegir a favorits
Guardat en:
Eines de cerca: Obtenir subscripció RSS — Enviar per correu electrònic aquesta cerca — Guardar cerca