1
Vydáno 2013
Obsah: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání