Datensatz Zitierlink: 
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-12860
http://hdl.handle.net/20.500.12708/9603
-
Titel: 
Formal program verification : a comparison of selected tools and their theoretical foundations
en
Zitat: 
Feinerer, I. (2005). Formal program verification : a comparison of selected tools and their theoretical foundations [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-12860
-
CatalogPlus: 
AC04493873
-
Publikationstyp: 
Hochschulschrift - Diplomarbeit
de
Sprache: 
Englisch
-
Autor_innen: 
Feinerer, Ingo
-
Betreuer_in: 
Salzer, Gernot
-
Organisations­einheit: 
E185 - Institut für Computersprachen 
-
Datum (veröffentlicht): 
2005
-
Umfang: 
86
-
Weitere Information: 
Zsfassung in dt. Sprache
-
Lizenz: 
Urheberrechtsschutz
de
Enthalten in den Sammlungen:
Thesis

Miniaturbild
Volltext (Version of Record (published version))
Adobe PDF
(416.59 kB)
Open Access Urheberrechtsschutz
Zur Langanzeige

Seiten Aufrufe

370
aufgerufen am 23.11.2023

Download(s)

147
aufgerufen am 23.11.2023

Google ScholarTM

Check