Cerca anche:
python programs » action programs, method programs, motion programs
python program » action program, python programming
proof java » proof data
https » http
1
Pubblicazione 2013
Sommario: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Testo
Elettronico eBook