See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Logics for low-level code and proof-preserving program transformations

Saabas, Ando (2008). Logics for low-level code and proof-preserving program transformations. (Doktoritöö, Tallinn Univesrity of Technology, Institute of Cybernetics). Tallinn: TUT Press.
dissertatsioon
Saabas, Ando
  • Inglise
Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused
Doktoritöö
Tallinn Univesrity of Technology, Institute of Cybernetics
Tallinn
TUT Press
1406-4731
978-9985-59-865-8
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering
43
2008
171
Ilmunud
2.3. Dissertatsioonide seerias ilmunud dissertatsioonid (v.a. käsikirjalised);

Viited terviktekstile