Erdélyi Gáspár: Towards a unified model of computation with correctness proofs : [abstract].
Előnézet |
Cikk, tanulmány, mű
cscs_2006_046-047.pdf Letöltés (42kB) | Előnézet |
Mű típusa: | Konferencia vagy workshop anyag |
---|---|
Befoglaló folyóirat/kiadvány címe: | Conference of PhD Students in Computer Science |
Dátum: | 2006 |
Kötet: | 5 |
Oldalak: | pp. 46-47 |
Nyelv: | angol |
Kiadó: | University of Szeged |
Kiadás helye: | Szeged |
Konferencia neve: | Conference of PhD students in computer science (5.) |
Konferencia típusa: | Konferencia |
Helyszin: | Szeged |
Dátum: | 2006. június 27-30. |
Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/59483/ |
Kulcsszavak: | Számítástechnika - előadáskivonat |
Megjegyzések: | Bibliogr.: p. 46-47. |
Szakterület: | 01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány |
Feltöltés dátuma: | 2019. okt. 16. 10:53 |
Utolsó módosítás: | 2023. jún. 29. 08:15 |
URI: | http://acta.bibl.u-szeged.hu/id/eprint/59851 |
Tétel nézet |