Inne możliwości wyszukiwania:
programming proof » programming problem, programming program, programming project
program python » program path, program paths, program potong
proof java » proof data
https* » http*
1
Wydane 2013
Spis treści: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Dokumenty pełnotekstowe
Elektroniczne E-book