Towards a unified model of computation with correctness proofs : [abstract]

Erdélyi Gáspár: Towards a unified model of computation with correctness proofs : [abstract].

[thumbnail of cscs_2006_046-047.pdf]
Preview
Cikk, tanulmány, mű
cscs_2006_046-047.pdf

Download (42kB) | 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. 46-47
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: Számítástechnika - előadáskivonat
Additional Information: Bibliogr.: p. 46-47.
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2019. Oct. 16. 10:53
Last Modified: 2023. Jun. 29. 08:15
URI: http://acta.bibl.u-szeged.hu/id/eprint/59851

Actions (login required)

View Item View Item