Programming language elements for correctness proofs [abstract] /

Elmentve itt :
Bibliográfiai részletek
Szerző: Dévai Gergely
Testületi szerző: Conference of PhD students in computer science (5.)
Dokumentumtípus: Könyv része
Megjelent: University of Szeged Szeged 2006
Sorozat:Conference of PhD Students in Computer Science 5
Kulcsszavak:Programozás - előadáskivonat, Számítástechnika - előadáskivonat, Programozási nyelv - előadáskivonat
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/59847