logo
E-väljaanne
TÄISTEKST TTÜ raamatukogu digikogus http://digi.lib.ttu.ee/i/?281
Autor
Saabas, Ando, 1979-
Pealkiri
Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused / Ando Saabas
Ilmumisandmed
Tallinn : Tallinn University of Technology Press, 2008 ([Tallinn : Infotrükk])
Füüsiline kirjeldus
172 lk. : ill. ; 25 cm
Seeria pealkiri
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika, ISSN 1406-4731 ; 43
Tallinna Tehnikaülikooli väitekirjad. C ; 43
ISBN
9789985598658
Märkus
Doktoritöö : Tallinna Tehnikaülikool, 2008
Autori publikatsioonid lk. 166-167. - Bibliograafia lk. 159-165
Kokkuvõte eesti keeles
Täiendav kandja
Kättesaadav ka võrguteavikuna
Märksõnad
tarkvara; arvutiprogrammid; programmeerimine; teisendused; kompilaatorid; dissertatsioonid
Kollektiivautorid
Tallinna Tehnikaülikool
UDK
004.415.5 (043)
004.4'4 (043)
Rööppealkiri
Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused