TalTech publikatsioonid
pealdis Saabas, A.
TTÜ struktuuriüksus TTÜ Küberneetika Instituut
maakood ed
keel inglise
autor Saabas, Ando
juhendaja Uustalu, Tarmo
Tõugu, Enn
pealkiri Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused
vastutusandmed Ando Saabas ; [supervisors: Tarmo Uustalu, Enn Tõugu]
dissertatsiooni liik doktoritöö
ülikool/teadusasutus Tallinna Tehnikaülikool
ilmumiskoht Tallinn
kirjastus/väljaandja TUT Press
ilmumisaasta 2008
leheküljed 172 lk. : ill.
seeria-sari Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering, ISSN 1406-4731 ; 43
märksõna tarkvara
arvutiprogrammid
programmeerimine
teisendused
kompilaatorid
vormimärksõna dissertatsioonid
ISBN 978-9985-59-865-8
märkused Includes bibliogr. Thesis (Ph.D. in Engineering) : Tallinn University of Technology, 2008. Autori CV eesti ja inglise keeles lk. 168-169. Ka eestikeelse tiitellehega
Lühikokkuvõte: Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused
Kättesaadav ka võrguteavikuna
url https://www.ester.ee/record=b2431341*est