Titelaufnahme

Titel
Formal program verification : a comparison of selected tools and their theoretical foundations / Ingo Feinerer
VerfasserFeinerer, Ingo
Begutachter / BegutachterinSalzer, Gernot
Erschienen2005
Umfang86 Bl. : graph. Darst.
HochschulschriftWien, Techn. Univ., Dipl.-Arb., 2005
Anmerkung
Zsfassung in dt. Sprache
SpracheEnglisch
Bibl. ReferenzOeBB
DokumenttypDiplomarbeit
URNurn:nbn:at:at-ubtuw:1-12860 Persistent Identifier (URN)
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
Formal program verification [0.4 mb]
Links
Nachweis
Klassifikation