Dévai Gergely: Programming language elements for correctness proofs : [abstract].
Preview |
Cikk, tanulmány, mű
cscs_2006_040-041.pdf Download (43kB) | Preview |
| Item Type: | Conference or Workshop Item |
|---|---|
| Journal or Publication Title: | Conference of PhD Students in Computer Science |
| Date: | 2006 |
| Volume: | 5 |
| Page Range: | pp. 40-41 |
| Language: | English |
| Publisher: | University of Szeged |
| Place of Publication: | Szeged |
| Event Title: | Conference of PhD students in computer science (5.) |
| Event Type: | Conference |
| Event Location: | Szeged |
| Event Dates: | 2006. június 27-30. |
| Related URLs: | http://acta.bibl.u-szeged.hu/59483/ |
| Uncontrolled Keywords: | Programozás - előadáskivonat, Számítástechnika - előadáskivonat, Programozási nyelv - előadáskivonat |
| Additional Information: | Bibliogr.: p. 40-41. |
| Subjects: | 01. Natural sciences 01. Natural sciences > 01.02. Computer and information sciences |
| Date Deposited: | 2019. Oct. 16. 10:34 |
| Last Modified: | 2023. Jun. 29. 08:11 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/59847 |
Actions (login required)
 |
View Item |
