Hungarian

Object-Oriented Program Verification (Objektum-orientált program bizonyítás)

Juhász, András (2001) Object-Oriented Program Verification (Objektum-orientált program bizonyítás). ['eprint_fieldopt_thesis_type_master' not defined] thesis, Szegedi Tudományegyetem.

[thumbnail of 2001_juhasz_andras_01_77.pdf]Text
2001_juhasz_andras_01_77.pdf - Thesis
Restricted to SZTE designated computers only
Download (27MB)
    [thumbnail of 2001_juhasz_andras_01_77_velemeny.pdf]Text
    2001_juhasz_andras_01_77_velemeny.pdf - Review
    Restricted to Repository staff only
    Download (585kB)
      Item Type: Thesis (['eprint_fieldopt_thesis_type_master' not defined])
      Subjects:01. Natural sciences > 01.02. Computer and information sciences
      Depositing User:TTK szerkesztő
      Date Deposited:11 Mar 2011 13:54
      Last Modified:14 Mar 2013 07:09
      URI:https://diploma.bibl.u-szeged.hu/id/eprint/2075

      Actions (login required)

      View Item
      View Item
      SZTE Repository of Degree Theses is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility