Programming language elements for correctness proofs [abstract] /
Elmentve itt :
| Szerző: | |
|---|---|
| Testületi szerző: | |
| 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 |
| Terjedelem/Fizikai jellemzők: | 40-41 |
|---|